diff options
| author | Adolfo Ochagavía <[email protected]> | 2018-10-08 19:18:55 +0100 |
|---|---|---|
| committer | Adolfo Ochagavía <[email protected]> | 2018-10-08 19:18:55 +0100 |
| commit | 62b1b05a0d9dd021f98352b6229e48e0d8b94f78 (patch) | |
| tree | 92627c1590c7f38b29a6d0d86f1db3d5b7332ad0 /editors/code/src/server.ts | |
| parent | 4d62cfccbb8281f33b6f894df07e7316a9d45bfb (diff) | |
Fix remaining tslint suggestions
Diffstat (limited to 'editors/code/src/server.ts')
| -rw-r--r-- | editors/code/src/server.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts index 3857b00a5..325023e36 100644 --- a/editors/code/src/server.ts +++ b/editors/code/src/server.ts | |||
| @@ -34,7 +34,7 @@ export class Server { | |||
| 34 | 'm/publishDecorations', | 34 | 'm/publishDecorations', |
| 35 | (params: PublishDecorationsParams) => { | 35 | (params: PublishDecorationsParams) => { |
| 36 | const targetEditor = vscode.window.visibleTextEditors.find( | 36 | const targetEditor = vscode.window.visibleTextEditors.find( |
| 37 | (editor) => editor.document.uri.toString() == params.uri, | 37 | (editor) => editor.document.uri.toString() === params.uri, |
| 38 | ); | 38 | ); |
| 39 | if (!Server.config.highlightingOn || !targetEditor) { return; } | 39 | if (!Server.config.highlightingOn || !targetEditor) { return; } |
| 40 | Server.highlighter.setHighlights( | 40 | Server.highlighter.setHighlights( |