- Subject: Setting xjed font?
- From: Guido Gonzato <ggonza@xxxxxx>
- Date: Mon, 15 Dec 2003 09:54:56 +0100
Hello all,
I wonder if it's possible to set the xjed font in jed.rc, just like the 
colour scheme; it would be more convenient than setting .Xdefaults for 
all users.
Later,
    Guido =8-)
--
Guido Gonzato, Ph.D. <guido dot gonzato at univr dot it> - Linux Sysadmin
Universita' di Verona (Italy), Facolta' di Scienze MM. FF. NN.
Ca' Vignal II, Strada Le Grazie 15, 37134 Verona (Italy)
Tel. +39 045 8027990; Fax +39 045 8027928 --- Timeas hominem unius libri
--------------------------
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]