This was observed in some cases on low-resolution screens, at least on
Linux and Windows.

The previously hardcoded value for the width of the text items' titlebar
(consisting of the buttons for formatting text) was replaced by a
method calculating its width (which varies based on screen resolution).