[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Re: Substituting one font for another system-wide?
To
:
debian-user@lists.debian.org
Subject
: Re: Substituting one font for another system-wide?
From
: "Tim Hull" <
thully@umich.edu
>
Date
: Thu, 9 Aug 2007 00:03:34 -0400
Message-id
: <
[🔎]
9a7c669e0708082103p6b28dfd8p7098d3498b51b679@mail.gmail.com
>
In-reply-to
: <
[🔎]
46BA9131.6080301@cox.net
>
References
: <
[🔎]
9a7c669e0708082015i3fa91af6g12abfb0761eae238@mail.gmail.com
> <
[🔎]
46BA9131.6080301@cox.net
>
DE? Window manager?
I'm using GNOME 2.18 w/ Metacity, though it shouldn't matter - I want to change the font server aliases, not the GNOME font settings.
Reply to:
debian-user@lists.debian.org
Tim Hull (on-list)
Tim Hull (off-list)
Follow-Ups
:
Re: Substituting one font for another system-wide?
From:
Ron Johnson <ron.l.johnson@cox.net>
References
:
Substituting one font for another system-wide?
From:
"Tim Hull" <thully@umich.edu>
Re: Substituting one font for another system-wide?
From:
Ron Johnson <ron.l.johnson@cox.net>
Prev by Date:
Re: Substituting one font for another system-wide?
Next by Date:
Re: bash vs. python scripts - which one is better?
Previous by thread:
Re: Substituting one font for another system-wide?
Next by thread:
Re: Substituting one font for another system-wide?
Index(es):
Date
Thread