- Subject: Re: Setting xjed default font
- From: Joerg Sommer <joerg@xxxxxxxxxxxx>
- Date: Fri, 12 Sep 2003 21:54:47 +0000 (UTC)
begin Steve Corwin <steve@xxxxxxxxxxxx> wrote:
> I'm trying to set the default font used by xjed. Based on the docs I
> found I made a .Xdefaults file:
Try .Xresources. .Xdefaults is obsoleted!
> steve@luke:~$ cat .Xdefaults
> XJed*Font: 7x14
#v+
$ grep -i jed .Xresources
xjed.Geometry: 80x28+-6+-6
xjed.font: 10x20
#v-
Joerg.
end.
--
Ich halte ihn zwar für einen Schurken und das was er sagt für
falsch - aber ich bin bereit mein Leben dafür einzusetzen, daß
er seine Meinung sagen kann. (Voltair)
--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.
[2003 date index]
[2003 thread index]
[Thread Prev] [Thread Next]
[Date Prev] [Date Next]