Configure rust-analyzer for VSCodium

Changes

1 changed files (+4/-3)

• VSCodium/User/settings.json
  • @@ -12,9 +12,10 @@
    "git.enableSmartCommit": true, // Manual line wrap is gross "html.format.wrapLineLength": 0, - // Make title bar consistent with other apps in KDE - "window.customTitleBarVisibility": "never", - "window.titleBarStyle": "native", + "rust-analyzer.server.path": "rust-analyzer", // Make Rocq more like Lean "vsrocq.proof.mode": 1, + // Make title bar consistent with other apps in KDE + "window.customTitleBarVisibility": "never", + "window.titleBarStyle": "native" }