Re: gnome-terminal taille caractere/fenetre

[Yves Lambert <leiota@bidart.net>]

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/>