Bug#39358: marked as done (Can't change the fonts in source editor.) by "F at lk Brettschneider" <falk.brettschneider at gmx.de>

[Stephan Kulow]

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.)

Stephan Kulow
(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
X-KDE-Received: -213.16.152.251

Package:           kdevelop
Version:           KDE 2.2.2 
Severity:          normal
Installed from:    Debian testing/unstable Packages
Compiler:          gcc 2.95.4
OS:                Linux
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)