diff options
Diffstat (limited to 'profiles/main/data/settings.json')
| -rw-r--r-- | profiles/main/data/settings.json | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/profiles/main/data/settings.json b/profiles/main/data/settings.json index fa2ab55..7b97503 100644 --- a/profiles/main/data/settings.json +++ b/profiles/main/data/settings.json @@ -11,9 +11,8 @@ "debug.toolBarLocation": "docked", "diffEditor.codeLens": true, "diffEditor.wordWrap": "off", - "editor.fontFamily": "'FiraCode Nerd Font Mono','Droid Sans Mono', 'monospace', monospace", + "editor.fontFamily": "'FiraCode Nerd Font', 'monospace', monospace", "editor.fontLigatures": true, - "editor.fontSize": 11, "editor.gotoLocation.multipleDeclarations": "gotoAndPeek", "editor.gotoLocation.multipleImplementations": "gotoAndPeek", "editor.gotoLocation.multipleReferences": "gotoAndPeek", @@ -92,4 +91,8 @@ "editorWhitespace.foreground": "#a3a33a" }, "workbench.colorTheme": "One Dark Modern", + "python.envFile": "${workspaceFolder}/env", + "python.languageServer": "Jedi", + "terminal.integrated.fontFamily": "monospace", + "editor.fontSize": 12, }
\ No newline at end of file |