From a157cf94fb7414ab4358a7c299d33e02b9bda571 Mon Sep 17 00:00:00 2001 From: Jake Howard Date: Sat, 11 May 2019 16:56:09 +0100 Subject: [PATCH] Tweak some VSCode settings --- files/vscode-settings.json | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/files/vscode-settings.json b/files/vscode-settings.json index 0f09551..24341e5 100644 --- a/files/vscode-settings.json +++ b/files/vscode-settings.json @@ -24,7 +24,7 @@ "python.workspaceSymbols.exclusionPatterns": [], "gitlens.codeLens.enabled": false, "npm.validate.enable": false, - "workbench.activityBar.visible": false, + "workbench.activityBar.visible": true, "editor.fontSize": 14, "files.trimTrailingWhitespace": true, "files.insertFinalNewline": true, @@ -64,5 +64,8 @@ "terminal.integrated.scrollback": 2000, "git.enableCommitSigning": true, "python.linting.mypyEnabled": true, - "editor.fontFamily": "Fira Code" + "editor.fontFamily": "Fira Code", + "editor.minimap.renderCharacters": false, + "editor.cursorSmoothCaretAnimation": true, + "workbench.settings.enableNaturalLanguageSearch": true }