Closed
Description
In the Java extension, we use the `window.withProgress' API with a title(in ProgressOptions) and messages.
When rendered the label that is shown is messages
followed by title
.
That's a bit strange and only works well if the message is just a percentage. If it also contains text, appending the title looks wrong.