aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--editors/code/src/config.ts15
1 files changed, 11 insertions, 4 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index d49917c78..4e353798c 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -29,7 +29,9 @@ export class Config {
29 } 29 }
30 30
31 if (config.has('enableEnhancedTyping')) { 31 if (config.has('enableEnhancedTyping')) {
32 this.enableEnhancedTyping = config.get('enableEnhancedTyping') as boolean; 32 this.enableEnhancedTyping = config.get(
33 'enableEnhancedTyping'
34 ) as boolean;
33 35
34 if (this.prevEnhancedTyping === null) { 36 if (this.prevEnhancedTyping === null) {
35 this.prevEnhancedTyping = this.enableEnhancedTyping; 37 this.prevEnhancedTyping = this.enableEnhancedTyping;
@@ -40,16 +42,21 @@ export class Config {
40 42
41 if (this.prevEnhancedTyping !== this.enableEnhancedTyping) { 43 if (this.prevEnhancedTyping !== this.enableEnhancedTyping) {
42 const reloadAction = 'Reload now'; 44 const reloadAction = 'Reload now';
43 vscode.window.showInformationMessage('Changing enhanced typing setting requires a reload', reloadAction) 45 vscode.window
46 .showInformationMessage(
47 'Changing enhanced typing setting requires a reload',
48 reloadAction
49 )
44 .then(selectedAction => { 50 .then(selectedAction => {
45 if (selectedAction === reloadAction) { 51 if (selectedAction === reloadAction) {
46 vscode.commands.executeCommand('workbench.action.reloadWindow'); 52 vscode.commands.executeCommand(
53 'workbench.action.reloadWindow'
54 );
47 } 55 }
48 }); 56 });
49 this.prevEnhancedTyping = this.enableEnhancedTyping; 57 this.prevEnhancedTyping = this.enableEnhancedTyping;
50 } 58 }
51 59
52
53 if (config.has('raLspServerPath')) { 60 if (config.has('raLspServerPath')) {
54 this.raLspServerPath = 61 this.raLspServerPath =
55 RA_LSP_DEBUG || (config.get('raLspServerPath') as string); 62 RA_LSP_DEBUG || (config.get('raLspServerPath') as string);