Sky Higgins

I would love to see a less spammy solution than the popup system Code implements by default. However, I definitely do not like the idea of just indiscriminately swallowing any-and-all...

I have the following in my `keybindings.json`. If there are any toasts visible, it hijacks Shift+Esc to clear them all, regardless if any toast still has focus. ``` { "key":...

> Seems like fixing the symtoms instead of fixing the root cause. @lsolbach We can almost certainly count on similar errors to pop up numerous times in the future. We...

> Not sure I follow here. It is on by default, so that probably explains why people do not ask for the behaviour so often. What I mean is: (I...

@Arcanemagus I want a longer delay before reporting errors at all. Even if an error is way down at the bottom of the page, it draws my eyes away from...

--- @Arcanemagus I think option 1 looks best. Let me explain why by marking up your analyses: --- 1. `linter` implements multiple delays, and only sends messages on to UI...

> I'm not sure what you are talking about here. First of all the "UI" and "user" here are the same as the user only ever interacts with the UI....

@Arcanemagus I just re-read the OPs vision of this feature, and if we used his vision as the template, then this would definitely be a question of how to display....

> As for your proposed implementation, ... you are requesting lints when nothing has happened to the document. Sorry, I forgot to copy the following line from your of Opt1...