diff options
author | Daniel McNab <[email protected]> | 2018-10-08 22:38:33 +0100 |
---|---|---|
committer | Daniel McNab <[email protected]> | 2018-10-08 22:38:33 +0100 |
commit | e26071d96e1ff56289213dbe78415f836de8a70e (patch) | |
tree | 0d6d49b2eb40ad161a72adbfbf9874b64540bf74 /editors/code/src/notifications | |
parent | 3a405b65d61a5ad3176c223e4b7226a43fcd186e (diff) |
Run prettier on all files
Diffstat (limited to 'editors/code/src/notifications')
-rw-r--r-- | editors/code/src/notifications/index.ts | 4 | ||||
-rw-r--r-- | editors/code/src/notifications/publish_decorations.ts | 11 |
2 files changed, 6 insertions, 9 deletions
diff --git a/editors/code/src/notifications/index.ts b/editors/code/src/notifications/index.ts index c56576865..74c4c3563 100644 --- a/editors/code/src/notifications/index.ts +++ b/editors/code/src/notifications/index.ts | |||
@@ -1,5 +1,3 @@ | |||
1 | import * as publishDecorations from './publish_decorations'; | 1 | import * as publishDecorations from './publish_decorations'; |
2 | 2 | ||
3 | export { | 3 | export { publishDecorations }; |
4 | publishDecorations, | ||
5 | }; | ||
diff --git a/editors/code/src/notifications/publish_decorations.ts b/editors/code/src/notifications/publish_decorations.ts index d8790386b..3180019b7 100644 --- a/editors/code/src/notifications/publish_decorations.ts +++ b/editors/code/src/notifications/publish_decorations.ts | |||
@@ -10,11 +10,10 @@ 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 | ); | ||
15 | if (!Server.config.highlightingOn || !targetEditor) { return; } | ||
16 | Server.highlighter.setHighlights( | ||
17 | targetEditor, | ||
18 | params.decorations, | ||
19 | ); | 14 | ); |
15 | if (!Server.config.highlightingOn || !targetEditor) { | ||
16 | return; | ||
17 | } | ||
18 | Server.highlighter.setHighlights(targetEditor, params.decorations); | ||
20 | } | 19 | } |