J'utilise le thème Radiance (je pense qu'il est installé par défaut sur Ubuntu) mais depuis la mise à jour vers Ubuntu 16.04, je ne peux pas redimensionner la fenêtre de gedit avec la souris. Cela fonctionne si je sélectionne un thème différent dans Paramètres système -> Thèmes dans Cinnamon.
Ajoutez ces deux lignes au bas du fichier /usr/share/themes/Ambiance/gtk-3.0/gtk-main.css:
@import url ("apps/xfce.css"); @import url ("apps/gtk3-window-deco.css");
Téléchargez et copiez ces deux fichiers à partir du thème "Ambiance-Crunchy".
Il existe d'autres méthodes, comment redimensionner une fenêtre, lorsque la méthode par défaut est rompue.
Faites un clic droit sur le panneau supérieur et choisissez "Redimensionner". Puis redimensionnez la fenêtre comme vous le souhaitez.
La deuxième meilleure méthode est le raccourci clavier Alt + bouton central de la souris (molette).
Maintenez la touche Alt enfoncée et maintenez enfoncée la touche bouton central de la souris.
Je pense que la deuxième méthode est plus confortable que le redimensionnement par les bords de la fenêtre.
Finalement, je l'ai trouvé. Je me méfiais de ses bords, les autres applications GTK3 ont une fine bordure solide (1px) avec une décoration ombrée externe correcte.
Ajouter
GeditWindow {
margin: 5px;
}
au sommet de
/usr/share/themes/Radiance/gtk-3.0/apps/gedit.css
/usr/share/themes/Ambiance/gtk-3.0/apps/gedit.css
Je m'attends à ce que ce correctif fonctionne avec une autre application GTK3 (avec HeaderBar) confrontée au même problème.