Re: [Jed-users-l] A big font for xjed?

[romanocomp@xxxxxxxxx]

On 2013-09-18 16:09, John E. Davis wrote:
> 
> Not entirely.  Try creating a file called $HOME/.Xdefaults-HOSTNAME,
> where HOSTNAME is the output of the `hostname`  command.  In that file
> put:
> 
>    UXjed*font: Inconsolata
>    UXjed.facesize: 16
> 

It works perfectly. Thanks a lot!

Romano

_______________________________________________
Jed-users-l mailing list
Jed-users-l@xxxxxxxx
http://mailman.jtan.com/mailman/listinfo/jed-users-l