Bug#19563: documentation browser options dialog not working
eekaikko at paju.oulu.fi
eekaikko at paju.oulu.fi
Thu Feb 1 15:28:05 UTC 2001
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)
-
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