Minimizing dockable - focus behavior

If a dockable is focused when the minimize button is clicked, it is minimized to the edge of the window and loses focus. But if it is not focused when the minimize button is clicked, it is minimized and gains focus, which means it is minimized in its “open” state. It should not gain focus when minimized.

Using 1.1.2p8d common and the default theme.

This is also theme-dependent. The problem does not occur with Eclipse + Glass.

Ok, this issue is now added to the todo-list for next version (next weekend - I hope).