2 files changed, 35 insertions, 1 deletions

diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index d26f5df0a..4e353798c 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -6,8 +6,11 @@ const RA_LSP_DEBUG = process.env.__RA_LSP_SERVER_DEBUG;
 
 export class Config {
     public highlightingOn = true;
+    public enableEnhancedTyping = true;
     public raLspServerPath = RA_LSP_DEBUG || 'ra_lsp_server';
 
+    private prevEnhancedTyping: null | boolean = null;
+
     constructor() {
         vscode.workspace.onDidChangeConfiguration(_ =>
             this.userConfigChanged()
@@ -25,6 +28,35 @@ export class Config {
             Server.highlighter.removeHighlights();
         }
 
+        if (config.has('enableEnhancedTyping')) {
+            this.enableEnhancedTyping = config.get(
+                'enableEnhancedTyping'
+            ) as boolean;
+
+            if (this.prevEnhancedTyping === null) {
+                this.prevEnhancedTyping = this.enableEnhancedTyping;
+            }
+        } else if (this.prevEnhancedTyping === null) {
+            this.prevEnhancedTyping = this.enableEnhancedTyping;
+        }
+
+        if (this.prevEnhancedTyping !== this.enableEnhancedTyping) {
+            const reloadAction = 'Reload now';
+            vscode.window
+                .showInformationMessage(
+                    'Changing enhanced typing setting requires a reload',
+                    reloadAction
+                )
+                .then(selectedAction => {
+                    if (selectedAction === reloadAction) {
+                        vscode.commands.executeCommand(
+                            'workbench.action.reloadWindow'
+                        );
+                    }
+                });
+            this.prevEnhancedTyping = this.enableEnhancedTyping;
+        }
+
         if (config.has('raLspServerPath')) {
             this.raLspServerPath =
                 RA_LSP_DEBUG || (config.get('raLspServerPath') as string);
diff --git a/editors/code/src/extension.ts b/editors/code/src/extension.ts
index a0be70202..8b332eeb2 100644
--- a/editors/code/src/extension.ts
+++ b/editors/code/src/extension.ts
@@ -82,7 +82,9 @@ export function activate(context: vscode.ExtensionContext) {
         }
     );
 
-    overrideCommand('type', commands.onEnter.handle);
+    if (Server.config.enableEnhancedTyping) {
+        overrideCommand('type', commands.onEnter.handle);
+    }
 
     // Notifications are events triggered by the language server
     const allNotifications: Iterable<