Skip to content

fix: BadLocationException can be thrown before we check the document version#1450

Merged
rubenporras merged 1 commit intoeclipse-lsp4e:mainfrom
FlorianKroiss:highlight-fix-v2
Dec 5, 2025
Merged

fix: BadLocationException can be thrown before we check the document version#1450
rubenporras merged 1 commit intoeclipse-lsp4e:mainfrom
FlorianKroiss:highlight-fix-v2