Currently the Dafny LSP server computes gutter icons, even though (almost?) the same information is already sent through other APIs to the client as well. This duplicate information leads to inconsistencies in the IDE, and is expensive to maintain on the LSP server side because it has quite a lot of separate pipeline code
Currently the Dafny LSP server computes gutter icons, even though (almost?) the same information is already sent through other APIs to the client as well. This duplicate information leads to inconsistencies in the IDE, and is expensive to maintain on the LSP server side because it has quite a lot of separate pipeline code