Forum Ubuntu-fr.org / Redimensionnement de gnome-terminal avec grid

Réponse à : Redimensionnement de gnome-terminal avec grid

dummy@example.com (alefriedx) — Tue, 05 Feb 2013 14:39:33 +0000

bien joué !

Réponse à : Redimensionnement de gnome-terminal avec grid

dummy@example.com (Maisondouf) — Tue, 05 Feb 2013 14:32:28 +0000

C'est un terminal de gauche ...

Réponse à : Redimensionnement de gnome-terminal avec grid

dummy@example.com (alefriedx) — Tue, 05 Feb 2013 14:07:44 +0000

okay, ça marche bien sur l'ecran principal !
Quant à savoir pourquoi ...

Réponse à : Redimensionnement de gnome-terminal avec grid

dummy@example.com (alefriedx) — Tue, 05 Feb 2013 09:33:24 +0000

Merci pour l'idée.
Ca ne change rien malheureusement. J'avais esssayé juste avant de remettre le profil par defaut, sans plus de succès.

Par contre j'ai deux écrans, et je mets toujours mon terminal sur celui de droite, cela a peut-être un rapport ... Je vais essayer de changer ça pour voir

Réponse à : Redimensionnement de gnome-terminal avec grid

dummy@example.com (Maisondouf) — Tue, 05 Feb 2013 09:20:07 +0000

Essayes de créer un profil perso pour fixer la taille

Redimensionnement de gnome-terminal avec grid

dummy@example.com (alefriedx) — Tue, 05 Feb 2013 09:15:26 +0000

Bonjour,

j'ai ce problème depuis un bout de temps, qui m'agace un peu à la longue.
Sur Ubuntu 12.04, avec unity, j'utilise le module Grid de compiz, afin de redimensionner mes fenêtres sur une fraction de l'écran. J'adore cette fonctionnalité, qui me permet d'avoir un espace de travail bien organisé.

Cela marche très bien pour toutes les applications, excepté gnome-terminal. Une fois la fenêtre redimensionnée, je perds le focus, le terminal freeze. Quand il n'est pas completement planté, je peux le récupérer en le redimensionnant "à la main".

Est ce que quelqu'un a déjà rencontré ce problème, et par chance aurais trouvé son origine ?

merci par avance,
Arnaud.