diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-30 22:24:39 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-30 22:24:39 +0000 |
commit | e6a1ccc1f49488af31ff7429ff977768d3d32485 (patch) | |
tree | 0e6c920b9bb1955de444dc360072b2256060d89b /editors/code/src/config.ts | |
parent | c3d74744cdae29aa6a6bfa0cd7ab64b8b251e287 (diff) | |
parent | 233f1dd2a850a7c8c6947c88c1ce06f7a945befd (diff) |
Merge #2695
2695: Privatize highlighting r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index a88be6e35..2bd276958 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -1,7 +1,6 @@ | |||
1 | import * as vscode from 'vscode'; | 1 | import * as vscode from 'vscode'; |
2 | import * as scopes from './scopes'; | 2 | import * as scopes from './scopes'; |
3 | import * as scopesMapper from './scopes_mapper'; | 3 | import * as scopesMapper from './scopes_mapper'; |
4 | import { Server } from './server'; | ||
5 | 4 | ||
6 | const RA_LSP_DEBUG = process.env.__RA_LSP_SERVER_DEBUG; | 5 | const RA_LSP_DEBUG = process.env.__RA_LSP_SERVER_DEBUG; |
7 | 6 | ||
@@ -56,8 +55,6 @@ export class Config { | |||
56 | public userConfigChanged() { | 55 | public userConfigChanged() { |
57 | const config = vscode.workspace.getConfiguration('rust-analyzer'); | 56 | const config = vscode.workspace.getConfiguration('rust-analyzer'); |
58 | 57 | ||
59 | Server.highlighter.removeHighlights(); | ||
60 | |||
61 | let requireReloadMessage = null; | 58 | let requireReloadMessage = null; |
62 | 59 | ||
63 | if (config.has('highlightingOn')) { | 60 | if (config.has('highlightingOn')) { |