Ich weiß nicht, wie das unter Linux ist, aber bei mir unter Windows wird da die Menüleiste eingeblendet.
An sich hast du recht - aber da die Menüzeile in die Titelzeile integriert wurde, passt es trotzdem - und ich kann .Dejavu diesmal bestätigen: funktioniert unter Linux ebenso.
Hab ich eigens ausprobiert an meinem kleinen flotten PC mit Debian, bevor ich die Antwort schrieb