You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In recent Ionide releases, typechecking notifications appear in the status bar every single time a file is type checked. This seems to be a continual thing - saving a single file causes all files to be type checked. To be honest, it's not the performance implications that I'm creating this issue for, but the fact that the constant animation in the status bar is very annoying. Even turning off Ionide notifications didn't help - I had to explicitly remove the Ionide status bar component, which means I've now lost all Ionide status updates (the rest of which are very useful).
The text was updated successfully, but these errors were encountered:
In recent Ionide releases, typechecking notifications appear in the status bar every single time a file is type checked. This seems to be a continual thing - saving a single file causes all files to be type checked. To be honest, it's not the performance implications that I'm creating this issue for, but the fact that the constant animation in the status bar is very annoying. Even turning off Ionide notifications didn't help - I had to explicitly remove the Ionide status bar component, which means I've now lost all Ionide status updates (the rest of which are very useful).
The text was updated successfully, but these errors were encountered: