Re: using a traditional font with gnome-terminal
On 2005-04-25 16:39:15 +0200, Jochen Schulz wrote:
> Maybe you experience the same problem as the submitter of bug #264993:
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=264993
Probably. Does anyone know how to exclude fonts, as suggested?
--
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 / SPACES project at LORIA
Reply to: