Re: quel X terminal choisir?
On 2007-04-30 12:22:30 +0200, Gaëtan PERRIER wrote:
> Le Mon, 30 Apr 2007 00:11:28 +0200
> Vincent Lefevre <vincent@vinc17.org> a écrit:
>
> > Un problème avec gnome-terminal est que sa fonte fixed n'est pas
> > terrible.
>
> Moi je la trouve bien.
Si on prend les caractères de même largeur que la fonte fixed standard,
alors on obtient des caractères plus petits en hauteur et moins lisibles.
Maintenant, c'est peut-être une question d'habitude.
--
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
Reply to: