In Ubuntu 18.x, il menu dell'app globale potrebbe essere disabilitato con questo comando:
gsettings set org.gnome.settings-daemon.plugins.xsettings overrides '@a{sv} {"Gtk/ShellShowsAppMenu":<0>}'
Oppure, usando gnome-tweaks, lo spegnerei facendo clic su Barra superiore -> Menu Applicazione .
Tuttavia, nessuno di questi sembra funzionare più in Ubuntu 19.04. Qual è il nuovo modo corretto di disabilitare il menu dell'app globale?
Modifica:
nota che non posso usare il menu hamburger perché non tutte le applicazioni ne hanno una. Ad esempio, sul mio desktop ho Terminator e KDevelop in esecuzione, nessuno dei quali ha un menu di hamburger. Il menu globale nella parte superiore dello schermo (non attaccato alla finestra) ha opzioni specifiche per quelle applicazioni:
Come disabiliterei questo menu globale e porterei invece qualsiasi opzione di menu nella finestra dell'applicazione?