From 1c00bbe212a586d6b7cb2a37f29062584adb0d1b Mon Sep 17 00:00:00 2001 From: lianghongkey Date: Sat, 2 Nov 2019 12:05:53 +0800 Subject: [PATCH] Update settings.json --- settings.json | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/settings.json b/settings.json index dd0654f..6dc0c57 100644 --- a/settings.json +++ b/settings.json @@ -39,14 +39,10 @@ "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, + "window.zoomLevel": 0.5, "gitlens.currentLine.enabled": false, "gitlens.hovers.currentLine.over": "line", "gitlens.mode.statusBar.enabled": false, - "gitlens.statusBar.enabled": false, "gitlens.hovers.enabled": false, "gitlens.codeLens.authors.enabled": false, "gitlens.codeLens.recentChange.enabled": false, @@ -87,4 +83,9 @@ "C_Cpp.intelliSenseEngineFallback": "Enabled", "terminal.integrated.inheritEnv": false, "python.terminal.activateEnvironment": false, + "workbench.statusBar.visible": true, + "workbench.activityBar.visible": true, + "explorer.openEditors.visible": 20, + "workbench.editor.showTabs": false, + "breadcrumbs.enabled": false, }