diff options
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/config.ts | 7 | ||||
-rw-r--r-- | editors/code/src/server.ts | 2 |
2 files changed, 0 insertions, 9 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 | } |
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts index ff50fcd99..a3ef21a16 100644 --- a/editors/code/src/server.ts +++ b/editors/code/src/server.ts | |||
@@ -42,8 +42,6 @@ export class Server { | |||
42 | documentSelector: [{ scheme: 'file', language: 'rust' }], | 42 | documentSelector: [{ scheme: 'file', language: 'rust' }], |
43 | initializationOptions: { | 43 | initializationOptions: { |
44 | publishDecorations: true, | 44 | publishDecorations: true, |
45 | showWorkspaceLoaded: | ||
46 | Server.config.showWorkspaceLoadedNotification, | ||
47 | lruCapacity: Server.config.lruCapacity, | 45 | lruCapacity: Server.config.lruCapacity, |
48 | excludeGlobs: Server.config.excludeGlobs, | 46 | excludeGlobs: Server.config.excludeGlobs, |
49 | useClientWatching: Server.config.useClientWatching, | 47 | useClientWatching: Server.config.useClientWatching, |