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 ;-)
Thanks,
Ralf
--
The only way to get rid of a temptation is to yield to it. Oscar Wilde
**********************************
Ralf Nolden
The KDevelop Project
http://www.kdevelop.org
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