Re: how to set font from command line?
Corne Beerse <[email protected]>
| Newsgroups | gmane.editors.nedit.user |
|---|---|
| Message-ID | <[email protected]> |
Matthijs van Aalten wrote: > Hi, > > Don't ask me what all this means, but: > nedit -font -adobe-courier-medium-r-normal--18-*-*-*-*-*-* > ... sets my NEdit font to courier medium, 18-points. > With this, `nedit -font -*-*-*-*-*--24-*-*-*-*-*-* ` should switch the current font to 24 point size, provided the current font has that size available. > I opened my $HOME/.nedit/nedit.rc file; somewhere at the bottom were some font specifications. I simply copied them and used them for the -font argument. Modify to your needs... > > Regards, > Matthijs > > > > -----Original Message----- > From: [email protected] [mailto:[email protected]] On Behalf Of tom arnall > Sent: Monday 12 October 2009 4:38 > To: General list > Subject: how to set font from command line? > > how do you set the nedit font to, say, adobe medium 12 point, from the > command line? no doubt it's with '-font', but i can find nothing in > the doc's or googling that tells the exact syntax of the arguments > to '-font'. > > tx, > > tom arnall > arcata > > > -- NEdit Discuss mailing list - [email protected] http://www.nedit.org/mailman/listinfo/discuss