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

Subject: Re: Setting xjed default font
From: "John E. Davis" <davis@xxxxxxxxxxxxx>
Date: Tue, 9 Sep 2003 13:03:29 -0400

Steve Corwin <steve@xxxxxxxxxxxx> wrote:
>XJed*Font: 7x14

Try:

   xjed*font: 7x14

--John

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.

References:
- Setting xjed default font
  - From: Steve Corwin

[2003 date index] [2003 thread index]
[Thread Prev] [Thread Next] [Date Prev] [Date Next]