search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
151 stars 31 forks source link

[code] Display and allow status bar item to toggle continuous / lazy … #721

Closed ejgallego closed 4 months ago

ejgallego commented 4 months ago

…mode

We display the continuous / lazy mode checking in the status bar item, and we allow to toggle them with a click.

There are some usability questions with the current setup tho, I wonder if we should move the start / stop server command to the tooltip or to a LanguageStatusItem as done in other extensions.

cc: #24