eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
19.29k stars 2.45k forks source link

Non-closable widgets in dock panels still have a close button #13844

Open ALevansSamsung opened 1 week ago

ALevansSamsung commented 1 week ago

Bug Description:

Non-closable widgets in dock panels still have a close button. If a Widget is marked as not closable a Close div is still created. Not only is it still created, but it has padding on it which means it can still be interacted with. This means in the very least that the Close tooltip can still be seen on hover, but at the very worst it means a non-closable widget can still be closed.

Additional Information

Media

image

image