diff options
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 331936b5e..95c3f42e5 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -20,7 +20,6 @@ export class Config { | |||
20 | public rainbowHighlightingOn = false; | 20 | public rainbowHighlightingOn = false; |
21 | public enableEnhancedTyping = true; | 21 | public enableEnhancedTyping = true; |
22 | public raLspServerPath = RA_LSP_DEBUG || 'ra_lsp_server'; | 22 | public raLspServerPath = RA_LSP_DEBUG || 'ra_lsp_server'; |
23 | public showWorkspaceLoadedNotification = true; | ||
24 | public lruCapacity: null | number = null; | 23 | public lruCapacity: null | number = null; |
25 | public displayInlayHints = true; | 24 | public displayInlayHints = true; |
26 | public maxInlayHintLength: null | number = null; | 25 | public maxInlayHintLength: null | number = null; |
@@ -56,12 +55,6 @@ export class Config { | |||
56 | ) as boolean; | 55 | ) as boolean; |
57 | } | 56 | } |
58 | 57 | ||
59 | if (config.has('showWorkspaceLoadedNotification')) { | ||
60 | this.showWorkspaceLoadedNotification = config.get( | ||
61 | 'showWorkspaceLoadedNotification' | ||
62 | ) as boolean; | ||
63 | } | ||
64 | |||
65 | if (!this.highlightingOn && Server) { | 58 | if (!this.highlightingOn && Server) { |
66 | Server.highlighter.removeHighlights(); | 59 | Server.highlighter.removeHighlights(); |
67 | } | 60 | } |