-RM-342-MR-Dock Window Buttons shrink instead of beeing moved to a Menu.
Take the dock called "Modules" and shrink it horizontally. The buttons in the titlebar should be moved to a common menu if the space is not enough for all of them. But currently, the buttons begin to shrink before the get moved to the menu. This should be fixed. -> not enough space -> move to dock menu.
(from redmine: created on 2014-03-26, closed on 2014-03-27)