Opening a workspace list the terminal icons twice
Closed this issue · 2 comments
Samuel-B-D commented
Bottom bar show twice the set of terminals icons, all 2nd one appear "selected" and switching of terminal by clicking on the icon is broken.
Samuel-B-D commented
There seems to be race-condition going on where sometime onDidOpenTerminal trigger before loadTerminals()
do common.terminals.set(...)
.
I have a PR that at least fix it, but it's most likely not the cleanest of way to fix it.
BenWildeman commented
have you experienced this since? I haven't for a while now