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