devtools

[Property Editor] Handle `null` text document / text document version in `ActiveLocationChangedEvent`

#8781

Merged