Martin Fleck

@alvsan09 With the multi-root workspace service I can indeed reproduce the problem! Seems like when we need to select a workspace the update of the configurations dropdown takes focus and...

@alvsan09 I hope I managed to remove the last issues now. When restoring the old dynamic configurations I now ensure that the options name is properly derived if it is...

@colin-grant-work @msujew Any objections to merging this?

@vince-fugnitto @colin-grant-work: Thanks again for the great work! Is there any chance this PR can make it in the upcoming release? If there is any way I can help out,...

@vince-fugnitto Do you want to have another look at it or do you think we can merge this?

@vince-fugnitto Do you know if anyone is already working on this? If not I might have a look at it one of these days.

Turns out this is actually a bug in Sprotty itself. I opened a bug there: https://github.com/eclipse/sprotty/issues/310

@colin-grant-work Sure, I can have a look!

@colin-grant-work I had a look at the API and I do not think there is a good strategy to get the types proposed API and the stable API compatible. I...

@colin-grant-work Perfect, I already implemented this in a PR here: https://github.com/eclipse-theia/theia/pull/11564 ;-)