From 1f6650b9f7887b05de01f9c349afc76bc70c67a9 Mon Sep 17 00:00:00 2001 From: colin Date: Mon, 19 Apr 2021 20:20:40 +0800 Subject: [PATCH] =?UTF-8?q?=E6=9B=B4=E6=96=B0=20'settings.json'?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- settings.json | 1 + 1 file changed, 1 insertion(+) diff --git a/settings.json b/settings.json index 22ef68c..ae5dd58 100644 --- a/settings.json +++ b/settings.json @@ -107,5 +107,6 @@ "terminal.integrated.inheritEnv": false, "python.terminal.activateEnvironment": false, "workbench.editor.decorations.badges": false, + "workbench.editor.showTabs": true, }