julesjacobs

Bad interaction with bracket colorization: keywords are colorized inside identifiers

1

When bracket colorization is turned on ("editor.bracketPairColorization.enabled": true), the `match` and `end` keywords are colored inside identifiers. This behaviour does not happen in e.g. Ruby where `begin ... end` is...

VsCoq 2 -- Very slow with 100% CPU usage

4

In the first few seconds of use it is fast, but then it slows down to a crawl. coqtop shows 100% cpu usage. Updating the proof state when moving the...

No Diagnostics After External File Modifications

4

## Problem When Claude Code (AI coding assistant) modifies Scala files, Metals doesn't update diagnostics until the user manually saves the file in VS Code. This prevents Claude from seeing...