Possible feature: progress and cancellation

[glenn2223]

I noted the vscode.Progress when looking for something in the API docs - example below

This feature also seems to be able to cancel a long-running task.

Question: Would this be useful to you?

Point: I can see the cancellation being handy when you want to cancel an accidental compilation task. However, any compilations up to that point wouldn't be reverted (unless I stored them until all compilations finished and then ran another task for bulk saving 🤷‍♂️)

Point: compilation getting stuck (if ever 😉) could be cancelled. You could then retry or tweak and retry

Concern: I don't want the progress to show and then disappear as generally the extension is quick in compiling and the flash up could be quite jarring

[glenn2223]

Without any comments, and this being open for so long, I have decided to look at implementing it for v7. New issue for the feature: #333