{ "editor.multiCursorModifier": "ctrlCmd", "editor.snippetSuggestions": "top", "editor.formatOnPaste": false, "workbench.colorTheme": "Darcula", "workbench.iconTheme": "material-icon-theme", "telemetry.telemetryLevel": "off", "extensions.autoUpdate": false, "gitlens.currentLine.enabled": false, "gitlens.hovers.currentLine.over": "line", "gitlens.codeLens.enabled": false, "workbench.activityBar.visible": true, "editor.fontSize": 14, "files.trimTrailingWhitespace": true, "files.insertFinalNewline": true, "files.trimFinalNewlines": true, "auto-close-tag.SublimeText3Mode": true, "python.linting.lintOnSave": true, "gitlens.advanced.messages": { "suppressCommitHasNoPreviousCommitWarning": false, "suppressCommitNotFoundWarning": false, "suppressFileNotUnderSourceControlWarning": false, "suppressGitVersionWarning": false, "suppressLineUncommittedWarning": false, "suppressNoRepositoryWarning": false, }, "gitlens.keymap": "alternate", "editor.cursorBlinking": "smooth", "editor.fontLigatures": true, "editor.smoothScrolling": true, "workbench.editor.enablePreview": false, "terminal.integrated.enableBell": true, "terminal.integrated.fontSize": 14, "terminal.integrated.scrollback": 2000, "git.enableCommitSigning": true, "python.linting.mypyEnabled": true, "python.linting.flake8Enabled": true, "python.linting.pylintEnabled": false, "python.terminal.activateEnvironment": false, "python.venvPath": "~/.virtualenvs, ~/.pyenv, ~/.cache/pypoetry/virtualenvs", "editor.fontFamily": "Fira Code", "editor.minimap.renderCharacters": false, "editor.cursorSmoothCaretAnimation": true, "workbench.settings.enableNaturalLanguageSearch": false, "cSpell.language": "en-GB", "editor.mouseWheelZoom": true, "files.autoGuessEncoding": true, "workbench.startupEditor": "none", "extensions.ignoreRecommendations": true, "latex-workshop.intellisense.package.enabled": true, "latex-workshop.latex.autoBuild.run": "never", "workbench.enableExperiments": false, "update.mode": "none", "latex-workshop.bind.enter.key": false, "color-highlight.markerType": "underline", "git-graph.showStatusBarItem": false, "terraform.languageServer": { "enabled": true, "args": [], "pathToBinary": "/usr/bin/terraform-lsp" }, "languageToolLinter.serviceType": "managed", "languageToolLinter.managed.classPath": "/usr/share/languagetool:/usr/share/java/languagetool/*.jar", "languageToolLinter.lintOnOpen": true, "languageToolLinter.languageTool.language": "en-GB", "languageToolLinter.languageTool.motherTongue": "en-GB", "python.languageServer": "Jedi", "python.experiments.enabled": false, "terminal.integrated.enablePersistentSessions": false, "languageToolLinter.plainText.languageIds": [ "markdown" ] }