Skip to content

Commit 114d9c5

Browse files
committed
didChangeVisibleRanges checks workspace
1 parent 14fa6bb commit 114d9c5

File tree

2 files changed

+31
-2
lines changed

2 files changed

+31
-2
lines changed

client/out/languageserver.js

+16-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

client/src/languageserver.ts

+15-1
Original file line numberDiff line numberDiff line change
@@ -179,10 +179,24 @@ function onCommand(client: LanguageClient) {
179179
});
180180
}
181181

182+
function isDocumentInClient(textDocuments: TextDocument, client: LanguageClient): boolean {
183+
let selectors = client.clientOptions.documentSelector;
184+
if (!DocumentSelector.is(selectors)) {{
185+
return false;
186+
}}
187+
if (vscode.languages.match(selectors, textDocuments)) {
188+
return true;
189+
}
190+
return false;
191+
}
192+
182193
function onDecorations(client: LanguageClient) {
183194
let textType = window.createTextEditorDecorationType({})
184195

185196
function notifyVisibleRanges(textEditor: TextEditor) {
197+
if (!isDocumentInClient(textEditor.document, client)) {
198+
return;
199+
}
186200
let uri: types.DocumentUri = client.code2ProtocolConverter.asUri(textEditor.document.uri);
187201
let ranges: types.Range[] = [];
188202
for (let index = 0; index < textEditor.visibleRanges.length; index++) {
@@ -222,7 +236,7 @@ function onDecorations(client: LanguageClient) {
222236
let uri: types.URI = params.uri;
223237
for (let index = 0; index < window.visibleTextEditors.length; index++) {
224238
const editor = window.visibleTextEditors[index];
225-
if (editor.document.uri.toString() == uri) {
239+
if (editor.document.uri.toString() == uri && isDocumentInClient(editor.document, client)) {
226240
textEditor = editor;
227241
break;
228242
}

0 commit comments

Comments
 (0)