Fix VSCodium font issue

Changes

1 changed files (+4/-1)

• VSCodium/User/settings.json
  • @@ -1,4 +1,7 @@
    { + // Force VSCodium to use my default monospace font instead of 'Noto Sans Mono CJK SC' which looks awful + // In related news at least CJK characters in VSCodium seem to work now? + "editor.fontFamily": "Hack", // https://lean-lang.org/documentation/semantic-tokens/ // "The colors in this example are not meant to be nice" "editor.semanticTokenColorCustomizations": {
  • @@ -18,5 +21,5 @@
    "vsrocq.proof.mode": 1, // Make title bar consistent with other apps in KDE "window.customTitleBarVisibility": "never", - "window.titleBarStyle": "native" + "window.titleBarStyle": "native", }