search

viperproject / viper-ide

This is the main repository for the Viper IDE extension for VS Code.
Mozilla Public License 2.0
10 stars 11 forks source link

Remove status bar when clearing diagnostics #442

Open rayman2000 opened 7 months ago

rayman2000 commented 7 months ago

Resolves #411