defect
(User-visible)
The burger menu is rendering incorrectly.
Internet Explorer
In Internet Explorer, more space than necessary is reserved for the burger menu. However, this bug is difficult to reproduce.
Chrome, Firefox, and Opera
In these browsers, the error occurs the first time the burger menu is opened. If the page is refreshed, the error reoccurs. In this case, however, less space is allocated for the burger menu, causing a scroll bar to appear and the text to wrap.
Implementation
The browser initially returns an incorrect value for the required height of the burger menu. The size is determined by the line height and a margin. However, the CSS classes used for this are not output when the GUI Inspector is entered, so it transmits an incorrect value during the initial size calculation. The GUI Inspector icon, which is loaded later, requires more space, causing a scrollbar to appear in the browsers mentioned above.
The GUI Inspector button is now created using a CommandModel so that it can use the same mechanism for adding the required CSS classes as the other buttons.
Test
Using Chrome, Firefox, or Opera, open any burger menu that contains a GUI Inspector and check whether it is displayed without a scroll bar during the initial render. The error should no longer occur even after refreshing the page.