Better semantic highlighting in VSCodium for Lean

Changes

1 changed files (+4/-0)

• VSCodium/User/settings.json
  • @@ -10,4 +10,8 @@
    // Make title bar consistent with other apps in KDE "window.customTitleBarVisibility": "never", "window.titleBarStyle": "native", + // https://lean-lang.org/documentation/semantic-tokens/ + "editor.semanticTokenColorCustomizations": { + "rules": {"function": "#ff0000", "property": "#00ff00", "variable": "#ff77ff"} + }, }