Depuis MAJ hier soir, le terminal de Gnome, dont je me sers conjointement avec Konsole, ne “tiens” plus à la dimension que je lui donne, il s’enroule sitôt la souris lâchée.
Où se trouve le fichier de config de ce “terminal” ? sous quel nom ? rien trouvé d’évident dans /etc.
Ça ne vas pas beaucoup t’aider mais j’ai moi aussi des problèmes avec gnome terminal en version 3.0.1-1.
Le terminal est plus gros et les polices aussi.
Rien de bien gênant pour l’instant mais je pense que ce genre de désagrément graphique va s’amplifier avec le passage progressif vers gnome3.