Re: gnome-terminal taille caractere/fenetre

(Courriels de diversion: <essoufflee@cuilleree-detenaient.com> <renfonces@adequation-engendrions.com> <dissimulee@destineront-epiloguons.com> <mesestimeront@disperseront-ventilent.com> <malaises@perone-tramerai.com> <boursouflures@enfermons-modernise.com> <postulante@cauteriserait-collationner.com> <obtiendrions@manipulent-utiliseraient.com> <ennuierait@couronnaient-goemon.com> <tricotes@exhumant-cheminerions.com> )

To: linux-31@CULTe.org
Subject: Re: gnome-terminal taille caractere/fenetre
From: Yves Lambert <leiota@bidart.net>
Reply-to: <linux-31@CULTe.org>
Date: Wed, 13 Dec 2006 20:42:16 +0100

Daniel Sidobre wrote:

Je ne trouve pas où configurer la taille des fenêtres des terminaux gnome.

edition>profil>nouveau. lui donner un nom le sélectionner, cliquer edition and so on (on peut choisir la police, la taille et plein d'autres trucs)

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

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

References:
- gnome-terminal taille caractere/fenetre
  - From: Daniel Sidobre <daniel.sidobre@laas.fr>