|
|
@@ -1,7 +1,7 @@
|
|
|
{
|
|
|
"files.autoSave": "afterDelay",
|
|
|
"editor.fontSize": 14,
|
|
|
- "editor.fontFamily": "'Droid Sans Mono', 'monospace', monospace, 'Droid Sans Fallback'",
|
|
|
+ "editor.fontFamily": "Operator Mono, Consolas, 'Courier New', monospace",
|
|
|
"diffEditor.ignoreTrimWhitespace": true,
|
|
|
"editor.autoClosingBrackets": "always",
|
|
|
"editor.autoClosingQuotes": "always",
|