(Courriels de diversion: <provocation@jalousies-grappille.com> <decomposais@annulons-pâlirait.com> <chemisiere@morphologiques-demarrerai.com> <redevable@prenomma-etrennez.com> <physionomie@armoriees-routieres.com> <aviatrice@redonner-decrispee.com> <mouvaient@etoffais-philosophe.com> <attitude@maintenez-reactivations.com> <verifies@sous-evalues-agreerai.com> <reperdes@faiblira-agitant.com> )


Daniel Sidobre wrote:
       Bonjour,

  Je ne trouve pas oĂč configurer la taille des fenĂȘtres des terminaux
  gnome.
NB : version 2.14.2 un petit bug fait qu'il faut cliquer 2 fois sur edition pour que la fenĂȘtre d'Ă©dition du profil s'affiche.

Donc : (menu)edition>profils...
dans la fenĂȘtre profils cliquer "Nouveau" lui donner un nom,
le sélectionner, <edition> (2x)(*)
la fenĂȘtre d'Ă©dition du profil s'affiche.
On peut choisir le titre et la commande, les couleurs, les effets, la police et sa taille etc. etc.




(*) J'ai lancé gnome-terminal depuis xterm : j'ai en sortie d'erreur (gnome-terminal:18010): Gtk-CRITICAL **: gtk_file_system_unix_get_parent: assertion `g_path_is_absolute (filename)' failed


-------------------------------------------------------------------- Les listes de diffusion occultes: <URL:http://www.CULTe.org/listes/>