Fixed a bug and made some improvements in the vscode progress service such that messages for the same task id can be sent to the same open progress UI. Previously, the progress UI in vscode will close after the first message and it was not possible to have a continuous stream of progress messages appearing in the same open progress UI.
vscode extensions
STS 4 provides a set of extensions to the Visual Studio Code editor. Those extension projects are hosted here.