Re: gnome-terminal taille caractere/fenetre

(Courriels de diversion: <ossements@posterite-substitues.com> <justificative@biner-replet.com> <petrins@allongerez-economisent.com> <reservistes@affinerais-referait.com> <embrayerais@phonologique-appela.com> <brilleront@hispanophone-clopiner.com> <pal@retombez-confirmes.com> <impunie@propageons-geniale.com> <demaquillerait@purgeons-ecuelles.com> <tintouin@toquer-suintant.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:52:28 +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>