[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:       Vincent Wagelaar <vincent () ricardis ! tudelft ! nl>
Date:       2002-11-28 19:26:19
[Download RAW message or body]

> >   - 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

_______________________________________________
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]