aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/config.ts
diff options
context:
space:
mode:
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r--editors/code/src/config.ts7
1 files changed, 7 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index 4e353798c..afc5cc6af 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -8,6 +8,7 @@ export class Config {
8 public highlightingOn = true; 8 public highlightingOn = true;
9 public enableEnhancedTyping = true; 9 public enableEnhancedTyping = true;
10 public raLspServerPath = RA_LSP_DEBUG || 'ra_lsp_server'; 10 public raLspServerPath = RA_LSP_DEBUG || 'ra_lsp_server';
11 public showWorkspaceLoadedNotification = true;
11 12
12 private prevEnhancedTyping: null | boolean = null; 13 private prevEnhancedTyping: null | boolean = null;
13 14
@@ -24,6 +25,12 @@ export class Config {
24 this.highlightingOn = config.get('highlightingOn') as boolean; 25 this.highlightingOn = config.get('highlightingOn') as boolean;
25 } 26 }
26 27
28 if (config.has('showWorkspaceLoadedNotification')) {
29 this.showWorkspaceLoadedNotification = config.get(
30 'showWorkspaceLoadedNotification'
31 ) as boolean;
32 }
33
27 if (!this.highlightingOn && Server) { 34 if (!this.highlightingOn && Server) {
28 Server.highlighter.removeHighlights(); 35 Server.highlighter.removeHighlights();
29 } 36 }