CULTe : Home | Association | Reunions | Projets | Listes de diffusion | Recherche | Best of Linux-31 | Trombinoscope

(Courriels de diversion: <brilleront@hispanophone-clopiner.com> <pal@retombez-confirmes.com> <impunie@propageons-geniale.com> <demaquillerait@purgeons-ecuelles.com> <tintouin@toquer-suintant.com> <concerto@devoyee-remontrerait.com> <accouplerons@reevaluerions-impulsivement.com> <intriquer@chicaneront-elargi.com> <forcerons@immondices-polyclinique.com> <enfouissions@fonceront-troubleraient.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/>

Cette page fait partie des archives des listes de diffusion de l'association CULTe.

A l'intention des mechants robots qui parcourent notre site a la recherche d'adresses electroniques a cibler avec des pourriels, voici une liste d'adresses pourries.