I think this is caused by the Activity Bar applet which doesn't allow to be shrinked below its preferred size. The attached patch should fix this but probably needs some more testing.
I think this is caused by the Activity Bar applet which doesn't allow to be shrinked below its preferred size.
The attached patch should fix this but probably needs some more testing.