vscode: remove terminal settings

These terminal settings are a matter of personal preference and should
not be part of the project configuration.
This commit is contained in:
David Lechner 2022-05-27 17:27:09 -05:00 committed by Daniel Agar
parent c27b9f3b1e
commit 995265c95e
1 changed files with 0 additions and 2 deletions

View File

@ -126,8 +126,6 @@
}, },
"search.showLineNumbers": true, "search.showLineNumbers": true,
"telemetry.enableTelemetry": false, "telemetry.enableTelemetry": false,
"terminal.integrated.copyOnSelection": true,
"terminal.integrated.rightClickBehavior": "paste",
"terminal.integrated.scrollback": 5000, "terminal.integrated.scrollback": 5000,
"window.title": "${dirty} ${activeEditorMedium}${separator}${rootName}", "window.title": "${dirty} ${activeEditorMedium}${separator}${rootName}",
"workbench.editor.highlightModifiedTabs": true, "workbench.editor.highlightModifiedTabs": true,