Better default font size
This commit is contained in:
parent
0786909669
commit
9e1cc61297
@ -4,7 +4,7 @@
|
|||||||
"security.workspace.trust.untrustedFiles": "open",
|
"security.workspace.trust.untrustedFiles": "open",
|
||||||
"editor.minimap.enabled": false,
|
"editor.minimap.enabled": false,
|
||||||
"git.ignoreMissingGitWarning": true,
|
"git.ignoreMissingGitWarning": true,
|
||||||
"editor.fontSize": 14,
|
"editor.fontSize": 12,
|
||||||
"editor.occurrencesHighlight": "off",
|
"editor.occurrencesHighlight": "off",
|
||||||
"editor.selectionHighlight": false,
|
"editor.selectionHighlight": false,
|
||||||
"editor.suggestOnTriggerCharacters": false,
|
"editor.suggestOnTriggerCharacters": false,
|
||||||
|
Loading…
Reference in New Issue
Block a user