The problem with the problems pane, as I see it, is that different people want contradictory things for it, apparently irreconcilable, given how long we've been asking for a clear button. If clear button is needed, it has to be done the right way with API. This is a separate topic and let's not deviate.
Anyways restarting a running extension without window reload is not possible due to code loading and unloading. This should be called restart extension instead of clear problems 😄. An extension can be contributing more in addition to problems. It is not good to restart an extension to just reset the problems. Is there a reason why this can't be done or why the solution is bad? What if the button cleared the list AND restart extensions that contributed to the problems list? This would allow for no delta issues and in turn, no missing out on problems. This is not a good design and is error prone.
It is not just about missing it is also VS Code and extensions will be out of sync. If the extension is sending deltas, this is actually impossible as new problems will be added to deltas.
It means that extensions that are playing well and smart (incremental) should be aware of problems being removed. My point is that, clear action cannot be half complete and it should work for all problems including those which behave correctly. It can be from the deleted file, or from a task which did not update on fixing the problem. A stale problem can be anything in the given context. If a clear action is introduced, then it cannot be specific/scoped to stale problems.
0 kommentar(er)
