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

[ALevansSamsung]

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

• Operating System: Linux
• Theia Version: 1.46.0

Media