Bug#39358: marked as done (Can't change the fonts in source editor.) by "F at lk Brettschneider" <falk.brettschneider at gmx.de>
owner at bugs.kde.org
Mon Aug 12 02:04:19 UTC 2002
Your message with subj: somehow fixed in at least latest KDevelop-2 version
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.)
(administrator, KDE bugs database)
(Complete bug history is available at http://bugs.kde.org/db/39/39358.html)
Received: (at submit) by bugs.kde.org; 13 Mar 2002 23:33:41 +0000
Received: (qmail 26666 invoked by uid 33); 13 Mar 2002 23:33:41 -0000
Date: 13 Mar 2002 23:33:41 -0000
Message-ID: <20020313233341.26665.qmail at mail.kde.org>
To: submit at bugs.kde.org
Subject: Can't change the fonts in source editor.
From: harkal at gmx.net
Version: KDE 2.2.2
Installed from: Debian testing/unstable Packages
Compiler: gcc 2.95.4
OS/Compiler notes: Not Specified
The source editor is stuck to some "arial"
type fonts(variable size) and doen't change
whatever I choose from the options.
p.s. I have truetype fonts installed also,
if that is going to help.
(Submitted via bugs.kde.org)
More information about the KDevelop-devel