aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/notifications/publish_decorations.ts
diff options
context:
space:
mode:
Diffstat (limited to 'editors/code/src/notifications/publish_decorations.ts')
-rw-r--r--editors/code/src/notifications/publish_decorations.ts2
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/notifications/publish_decorations.ts b/editors/code/src/notifications/publish_decorations.ts
index 3180019b7..00ffb7776 100644
--- a/editors/code/src/notifications/publish_decorations.ts
+++ b/editors/code/src/notifications/publish_decorations.ts
@@ -10,7 +10,7 @@ export interface PublishDecorationsParams {
10 10
11export function handle(params: PublishDecorationsParams) { 11export function handle(params: PublishDecorationsParams) {
12 const targetEditor = vscode.window.visibleTextEditors.find( 12 const targetEditor = vscode.window.visibleTextEditors.find(
13 editor => editor.document.uri.toString() === params.uri 13 editor => editor.document.uri.toString() === params.uri,
14 ); 14 );
15 if (!Server.config.highlightingOn || !targetEditor) { 15 if (!Server.config.highlightingOn || !targetEditor) {
16 return; 16 return;