From 5cd002d2167f0a94dc1fdebc1afc73578deddaa7 Mon Sep 17 00:00:00 2001 From: lianghongkey Date: Wed, 14 Aug 2019 11:12:18 +0800 Subject: [PATCH] Update settings.json --- settings.json | 22 ++++++++++++++++++---- 1 file changed, 18 insertions(+), 4 deletions(-) diff --git a/settings.json b/settings.json index 7a6b0cb..244dee1 100644 --- a/settings.json +++ b/settings.json @@ -1,9 +1,8 @@ { - "python.pythonPath": "/home/colin/anaconda2/bin/python", + "python.pythonPath": "/home/colin/anaconda3/bin/python", "workbench.colorTheme": "Default Light+", "editor.tabSize": 2, "C_Cpp.errorSquiggles": "Disabled", - "window.zoomLevel": 0, "workbench.editor.enablePreview": false, "[cpp]": {}, "C_Cpp.clang_format_style": "Google", @@ -21,7 +20,9 @@ "editorBracketMatch.background": "#fffb00", "terminal.background" : "#f8f8f8", }, - "editor.fontSize": 14, + "editor.fontFamily": "SF Mono", + "C_Cpp.updateChannel": "Insiders", + "http.proxySupport": "off", "editor.fontWeight": "500", "editor.tokenColorCustomizations": { "comments":"#7c7c7c", @@ -32,9 +33,22 @@ "numbers": "#009100", }, "terminal.integrated.fontWeight": "500", - "terminal.integrated.fontSize": 14, + "terminal.integrated.fontFamily": "SF Mono", + "terminal.integrated.scrollback": 10000, "explorer.autoReveal": false, "editor.minimap.maxColumn": 80, "editor.minimap.showSlider": "always", "editor.minimap.renderCharacters": false, + "window.zoomLevel": 0, + "editor.fontSize": 15, + "debug.console.fontSize": 15, + "terminal.integrated.fontSize": 16, + "gitlens.currentLine.enabled": false, + "gitlens.hovers.currentLine.over": "line", + "gitlens.mode.statusBar.enabled": false, + "gitlens.statusBar.enabled": false, + "gitlens.hovers.enabled": false, + "python.linting.mypyEnabled": true, + "python.linting.pylintEnabled": false, + "python.jediEnabled": false, }