[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kde-devel
Subject:    Re: Bug#14160: kde 2 advanced editor font size
From:       Rik Hemsley <rik () kde ! org>
Date:       2000-10-31 4:44:51
[Download RAW message or body]

On Mon, 30 Oct 2000 21:58:48 -0500
Jon Aseltine <aseltine@cs.umass.edu> wrote:

> On Monday 30 October 2000 21:17, Rik Hemsley wrote:
> >
> > Use the 'Configure highlighting' option on the Settings menu.
> 
> Of course! That's the first place someone would look to configure font 
> settings. :)

Heh, it took me ages to find it :)

Rik
 
>> Visit http://master.kde.org/mailman/listinfo/kde-devel#unsub to unsubscribe <<

[prev in list] [next in list] [prev in thread] [next in thread]