-RM-243-MR-Dock Title should prefer title text when shrinking
The title bar of view docks first scales the title widget before switching to the smaller "more-button" representation of the tool buttons. This should be changed to keep the full text as long as possible.
(from redmine: created on 2013-02-11, closed on 2013-02-11)