jed-users mailing list

[2003 Date Index] [2003 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Re: Setting xjed default font


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]