devtools

8c7fc3fa - [Property Editor] Handle `null` text document / text document version in `ActiveLocationChangedEvent` (#8781)