Update settings.json

2019-11-02 16:55:37 +08:00 · 2019-11-02 16:55:37 +08:00 · 013132eccf
parent 5bc6d3514a
commit 013132eccf
1 changed files with 1 additions and 2 deletions
--- 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,
 }