- 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]