Barre de menus globale dans le gnome Ubuntu 17.10
Est-ce que quelqu'un sait s'il est possible d'afficher la barre de menus globale dans les applications du référentiel principal d'ubuntu? J'ai trouvé très étrange qu'il manque des applications comme pinta (voir ci-dessous), Gimp ou Gpaint.
Bien que présent (pas aussi net que dans Unity) dans d’autres applications que dans le référentiel principal Ubuntu (par exemple, TexStudio).
Je suis conscient de l'existence d'une extension permettant d'afficher la barre de menus globale (comme indiqué dans cette question ). Toutefois, je souhaite savoir pourquoi certaines applications affichent toujours la barre de menu alors que d'autres ne le sont pas et, le plus important, s'il existe une solution pour cela.
Si vous avez installé Menu d’application globale de Gnome (HUD pour Gnome) , extension mentionnée dans cette réponse à l’autre question que vous avez liée, vous devrez réinitialiser un couple. des touches gsettings après avoir désactivé/désinstallé l’extension pour rétablir le fonctionnement normal.
Ouvrez Terminal et lancez les commandes suivantes
gsettings reset org.gnome.settings-daemon.plugins.xsettings overrides
gsettings reset org.gnome.settings-daemon.plugins.xsettings enabled-gtk-modules
Puis redémarrez.
(Voir "Instructions de désinstallation" ici )