Re: using a traditional font with gnome-terminal
On 2005-04-21 19:00:21 +0100, Lee Braiden wrote:
> I don't use GNOME much, but if there's really no GUI-based way to do
> it, you may still be able to do it via fontconfig's mappings. I
> believe the generic "sans", "sans serif" and "monospace" are
> normally mapped to multiple actual typefaces.
But what if one wants some bitmap font for gnome-terminal, and
Bitstream Vera Sans Mono for the other applications?
Vincent Lefèvre <email@example.com> - 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