From 013132eccf3f5e25745a1ae230a78c5cb9a60fb0 Mon Sep 17 00:00:00 2001 From: lianghongkey Date: Sat, 2 Nov 2019 16:55:37 +0800 Subject: [PATCH] Update settings.json --- settings.json | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/settings.json b/settings.json index 3cb804a..fcb642e 100644 --- a/settings.json +++ b/settings.json @@ -66,7 +66,6 @@ "stash": true } }, - "hexdump.btnEnabled": false, "gitlens.blame.highlight.locations": [ "gutter", "line", @@ -88,5 +87,5 @@ "explorer.openEditors.visible": 20, "workbench.editor.showTabs": false, "breadcrumbs.enabled": false, - "terminal.integrated.rendererType": "dom", + "terminal.integrated.fontSize": 16, }