search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

feat: add config option to control whether Coq buttons are displayed #904

Closed Durbatuluk1701 closed 4 weeks ago

Durbatuluk1701 commented 4 weeks ago

I personally don't like many buttons in the Editor Actions tab menu, so I think it would be nice to be able to disable them from appearing. When vscoq.general.display-buttons == true (which it is by default) the buttons will be visible: image Otherwise, the buttons won't appear.

I could not really think of a good pre-existing setting scope to put them in, so I created one called general, but if anyone has renaming thoughts or a better place to put it just feel free.

Durbatuluk1701 commented 4 weeks ago

@rtetley Can I get some guidance on why this CI is failing?

rtetley commented 4 weeks ago

Just looks like a sporadic network error failure.