J'ai récemment mis à jour Ubuntu 18.04 LTS à partir d'Ubuntu 16.04 LTS. Depuis la mise à jour, les paramètres dans Ubuntu ne sont pas correctement sélectionnés.
De plus, les éléments de menu semblent être à l'étroit
La sortie de gsettings get org.gnome.desktop.interface gtk-theme
est 'Arc'
.
Il semble que le thème GTK + que vous utilisez actuellement (Arc dans votre cas) soit cassé (ou indisponible) d’une manière ou d’une autre.
Installer (GNOME) peaufiner en lançant
Sudo apt install gnome-tweaks
et utilisez-le pour changer votre thème GTK + (essayez les thèmes par défaut: Ambiance et Radiance). Voir this pour référence.
Après avoir passé de 16.04 à 18.04, j'ai eu le même problème. Je l'ai corrigé avec ce qui suit:
Sudo apt purge arc-theme
Sudo apt install arc-theme
Remarque: sachez que cela supprimera complètement les arcs, y compris les personnalisations.