Bug#19563: marked as done (documentation browser options dialog not working) by John Firebaugh <jfirebaugh at kde.org>

[Stephan Kulow]

Your message with subj: documentation browser options dialog not working

Thank you for your bug report.
The bug that your reported no longer applies to the latest development (CVS) 
version of KDE. This is most probably because the bug has been fixed, the 
application has been substantially modified, or the application no longer 
exists. The bug report will be closed.

has caused the attached bug report to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what I'm
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Stephan Kulow
(administrator, KDE bugs database)

(Complete bug history is available at http://bugs.kde.org/db/19/19563.html)

Received: (at submit) by bugs.kde.org; 1 Feb 2001 15:28:07 +0000
Received: (qmail 12379 invoked by uid 33); 1 Feb 2001 15:28:05 -0000
Date: 1 Feb 2001 15:28:05 -0000
Message-ID: <20010201152805.12378.qmail at master.kde.org>
To: submit at bugs.kde.org
Subject: documentation browser options dialog not working
From: 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)