Le ven 15 fév 2002 à 10 h 39 min, Nicolas SABOURET a écrit : La police sous gnome terminal est bien ...parce que petite. N'y a-t-il pas un moyen d'en avoir une + grande ? (je lance mutt avec gnome-terminal pour pas confondre l'icône avec celui de x-term...). Je pinaille là...:/ -- Philippe Monroux