[PyKDE] ANN: Packages for Eric, the Python IDE

[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