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