diff options
author | Laurențiu Nicola <[email protected]> | 2019-12-09 18:57:55 +0000 |
---|---|---|
committer | Laurențiu Nicola <[email protected]> | 2019-12-09 19:07:19 +0000 |
commit | 273299693b85996878907ad256ed55f072ec3f1a (patch) | |
tree | 16d7de77952895b4cebf1cbb7a18652eaf4d98b6 /editors/code/src/notifications/publish_decorations.ts | |
parent | 897b550049d8889804bb476e305427d07879cd63 (diff) |
Code: enable prettier trailing commas
Diffstat (limited to 'editors/code/src/notifications/publish_decorations.ts')
-rw-r--r-- | editors/code/src/notifications/publish_decorations.ts | 2 |
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 | ||
11 | export function handle(params: PublishDecorationsParams) { | 11 | export 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; |