Update VSCode settings

This commit is contained in:
2020-07-19 13:56:09 +01:00
parent 99bca431d1
commit 14a1118d71

View File

@@ -3,7 +3,7 @@
"latex-workshop.view.pdf.viewer": "tab", "latex-workshop.view.pdf.viewer": "tab",
"git.autofetch": true, "git.autofetch": true,
"editor.fontFamily": "Input Mono", "editor.fontFamily": "Input Mono",
"workbench.colorTheme": "Community Material Theme Palenight", "workbench.colorTheme": "Material Theme Palenight",
"workbench.iconTheme": "material-icon-theme", "workbench.iconTheme": "material-icon-theme",
"explorer.confirmDelete": false, "explorer.confirmDelete": false,
"editor.fontSize": 12, "editor.fontSize": 12,
@@ -13,6 +13,8 @@
"window.zoomLevel": 0, "window.zoomLevel": 0,
"workbench.startupEditor": "newUntitledFile", "workbench.startupEditor": "newUntitledFile",
"remote.SSH.remotePlatform": { "remote.SSH.remotePlatform": {
"dimension.sh": "linux" "dimension.sh": "linux",
"kronos.home.tensixtyone.com": "macOS",
"b1.dimension.sh": "linux"
} }
} }