diff options
| author | Gregoire Geis <[email protected]> | 2020-02-03 19:24:50 +0000 |
|---|---|---|
| committer | Gregoire Geis <[email protected]> | 2020-02-03 19:24:50 +0000 |
| commit | b70ad7e5f3d524204fab88fe2a8c5a6fbef9e88e (patch) | |
| tree | d01119552b4963f58834f4f8af14b674cbd9773c /editors/code/src/main.ts | |
| parent | 58c007674b8c746beab371ca13fce951af6cd1f2 (diff) | |
Remove enableEnhancedTyping and type overriding infrastructure.
Diffstat (limited to 'editors/code/src/main.ts')
| -rw-r--r-- | editors/code/src/main.ts | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 5c061e72f..efc31b2e2 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
| @@ -29,9 +29,6 @@ export async function activate(context: vscode.ExtensionContext) { | |||
| 29 | ctx.registerCommand('applySourceChange', commands.applySourceChange); | 29 | ctx.registerCommand('applySourceChange', commands.applySourceChange); |
| 30 | ctx.registerCommand('selectAndApplySourceChange', commands.selectAndApplySourceChange); | 30 | ctx.registerCommand('selectAndApplySourceChange', commands.selectAndApplySourceChange); |
| 31 | 31 | ||
| 32 | if (ctx.config.enableEnhancedTyping) { | ||
| 33 | ctx.overrideCommand('type', commands.onEnterOverride); | ||
| 34 | } | ||
| 35 | activateStatusDisplay(ctx); | 32 | activateStatusDisplay(ctx); |
| 36 | 33 | ||
| 37 | activateHighlighting(ctx); | 34 | activateHighlighting(ctx); |