> > - 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 [EMAIL PROTECTED] http://mats.gmd.de/mailman/listinfo/pykde