Closed lukaszcz closed 1 year ago
Or don't show any messages, just underline things in red and only show an error message in a pop-up when you hover the mouse over the red underlining.
I know. Please disable this feature on the settings for now. I was thinking of changing how the task is created and making it silent. But yes, I also found the current behavior quite annoying. Hopefully, I'll fix it for the next release.
Or don't show any messages, just underline things in red and only show an error message in a pop-up when you hover the mouse over the red underlining.
Yes, we can do this for now.
This should be fixed already at 623933cc04972f34becbc5ccd631b0c868eaeb40
I constantly get a pop-up window saying "The task 'juvix: typecheck' is already active" and the error messages pop up constantly in the terminal window while typing. Maybe there should be some delay like a few seconds before you type check, or do type checking only after one stops typing, with a delay of a second or so?