-
Cosimo Cecchi authored
When the app menu cannot be displayed, for instance because the shell does not support it, use the app menu button in the header bar as a fallback, instead of the double menubar. https://bugzilla.gnome.org/show_bug.cgi?id=787214
07ff6afd