Bug#19563: documentation browser options dialog not working

Ralf Nolden nolden at kde.org
Thu Feb 1 19:33:29 UTC 2001

Am Donnerstag,  1. Februar 2001 16:28 schrieb eekaikko at paju.oulu.fi:
> Package: kdevelop
> Version: 2.1 Beta 2
> Severity: normal
> Installed from: debian potato package from kde.tdyc.com
> Font options for documentation browser do not take effect.
> Font size did work but standard and fixed fonts didn't.
> Font is georgia, I try to change it with apply or ok, but
> it does not work. When I re-open the dialog, fonts are
> georgia again.
> (submitted via bugs.kde.org)
We know about that bug but were lacking the time currently to make it, so we 
used the defaults and just got the fontsize done. If you´d like to help and 
apply for this, please have a look at the KDevelop CVS tree, there´s help how 
to get that via anon CVS on www.kde.org. Please subscribe to our mailinglist 
where we can organize things. Patches are preferred, so a diff file would do 
it ;-)


The only way to get rid of a temptation is to yield to it. Oscar Wilde

Ralf Nolden

The KDevelop Project

nolden at kde.org
rnolden at kdevelop.org

to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body:
unsubscribe »your-email-address«

More information about the KDevelop-devel mailing list