search

fsprojects / fantomas-tools

Collection of tools used when developing for Fantomas
https://fsprojects.github.io/fantomas-tools/
MIT License
34 stars 8 forks source link

Reset diagnostics if no errors #631

Closed MangelMaxime closed 8 months ago

MangelMaxime commented 8 months ago

Previous behaviour:

https://github.com/fsprojects/fantomas-tools/assets/4760796/8b0a64fd-b1ca-4f51-b500-345795a96f03

Note how the diagnostics doesn't go away