Revitalization of Progress PR (https://github.com/theia-ide/theia/pull/2461)

#1

Its been a while since I’ve touched the progress extension PR but I was wondering if there was still interest. Just by grazing through the GitHub issues recently I’ve found a few issues regarding showing progress:

[original thread by Josh Pinkney]

#2

I do believe there is an interest on having the progress be a part of Theia since it is highly useful for commands or actions which take a large amount of time, can you update the PR and rebase so we can resume testing?

#3

yes, someone should work on it, right now feedback to a user is quite poor for long running operations