Path: news.cs.au.dk!news.net.uni-c.dk!arclight.uoregon.edu!newsfeed.mathworks.com!news.maxwell.syr.edu!news.augsburg.net!pschoenb From: pschoenb@solidsoft.iksys.de (Patrick Schoenbach) Newsgroups: comp.lang.beta Subject: Changing the font size in Mjolner for Linux Date: Mon, 3 Jul 2000 21:04:40 +0200 Organization: Solidsoft Lines: 17 Message-ID: NNTP-Posting-Host: solidsoft.iksys.de X-Trace: news.augsburg.net 962654505 12350 195.222.114.31 (3 Jul 2000 20:01:45 GMT) X-Complaints-To: usenet@news.augsburg.net NNTP-Posting-Date: 3 Jul 2000 20:01:45 GMT User-Agent: slrn/0.9.6.2 (Linux) Xref: news.cs.au.dk comp.lang.beta:12514 Hi, how do I change the font size of the editor in Mjolner for Linux? It is too small on my display. -- Regards, Patrick -- --------------------------------------------------------------------------- e-mail: pschoenb@solidsoft.iksys.de URL: http://www.geocities.com/Vienna/5357/ PGP Public Key: Mail to pgp@solidsoft.iksys.de with 'pschoenb' as subject Fingerprint: 3C FB B0 A7 E2 C2 3B 2D 68 6C 66 7E B7 D5 C2 70 ---------------------------------------------------------------------------