Y a-t-il un moyen d'utiliser une fonte bitmap (comme "fixed") avec gnome-terminal?
Le probl�me est que je n'ai trouv� aucune autre fonte de bonne qualit� en 8 points. La moins mauvaise que j'ai trouv�e est la Bitstream Vera Sans Mono, mais les accents aigu, grave et circonflexe sont d�cal�s vers la gauche, et la virgule n'est pas courb�e. D'autre part, est-il possible de r�duire la barre de scrolling (en largeur)? Ou y a-t-il une autre solution pour r�duire la largeur de la fen�tre, tout en gardant la possibilit� d'avoir la barre de scrolling, sous une forme ou sous une autre (par exemple, avec transparence, ou qui s'affiche lorsque la souris passe au-dessus de la zone...)? -- Vincent Lef�vre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA -- Pensez � lire la FAQ de la liste avant de poser une question : http://wiki.debian.net/?DebianFrench Pensez � rajouter le mot ``spam'' dans vos champs "From" et "Reply-To:" To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
