Changes in user launch configuration not picked up by debug dropdown

[isidorn]

Refs: #48423

Not sure if this was caused by refactoring so assigning to both of us.

1. Have a launch configuration in your user settings
2. Rename that launch configuration -> notice how the select drop down name is not updating

[isidorn]

I plan to investigate after I am done testing, so I can first look into it.

[weinand]

I'm pretty sure that I didn't touch anything in that area.

[weinand]

I'm stilling seeing the issue (on macOS and windows)

[isidorn]

I can reproduce this and the issue seems to be that I am not getting onDidChangeConfiguration from @sandy081 thus forwarding the issue to him.

Additional data:

1. If I change any other user setting I nicely get the event
2. Only if I change things inside the launch section in user settings I am not getting an event

I believe this was working 2 days ago, might it be that you changed something in the meantime?