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

List:       pykde
Subject:    Re: [PyKDE] ANN: Packages for Eric, the Python IDE
From:       Detlev Offenbach <detlev () die-offenbachs ! de>
Date:       2002-11-28 20:38:06
[Download RAW message or body]

Am Donnerstag, 28. November 2002 20:26 schrieb Vincent Wagelaar:
> > >   - The default fonts are too big
> >
> > The default fonts are the ones of qscintilla. I could add a button
> > to change all the fonts of qscintilla simultaneously (see later
> > post) but I think that doesn't save much because it would get rid of
> > some distinguishing features of the syntax highlighter. You would
> > have to go through the fonts again to finetune them. Setting up all
> > the fonts and the other config stuff is a one time job done after
> > the first installation. From then on it's read from the config file.
> > I will try to keep the config file format, so that it can be reused
> > after an upgrade.
> >
> > >   - I can't change all the fonts (console and line numbering, for
> > > example)
> >
> > Console and non qscintilla fonts are the ones configured for your
> > system (i.e. through KDE). The editor fonts are configurable.
> > Unfortunately qscintilla doesn't allow to change the line number
> > style at the moment. I will forward this request to Phil.
>
> In fact it is
>
> just add in Editor.py __init__
>
> self.setMarginsFont(QFont())
>
> And you have nice font in the margin :)
>
> Have a nice day,
>
> Vincent

Thanks, I didn't recognize this method. I will incorporate it 
immediately.

Detlev
-- 
Detlev Offenbach
detlev@die-offenbachs.de

_______________________________________________
PyKDE mailing list    PyKDE@mats.gmd.de
http://mats.gmd.de/mailman/listinfo/pykde
[prev in list] [next in list] [prev in thread] [next in thread]