Bug#40011: marked as done (character size in editor) by Harald Fernengel <harry at kdevelop.org>

[Stephan Kulow]

Your message with subj: Bug#40011: character size in editor

Go to Options->Editor Defaults and select a fixed font instead of a=20
proportional font and all characters should have the same width again.

Best regards,
Harry

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)

Received: (at submit) by bugs.kde.org; 2 Apr 2002 01:38:26 +0000
Received: (qmail 31709 invoked by uid 33); 2 Apr 2002 01:38:26 -0000
Date: 2 Apr 2002 01:38:26 -0000
Message-ID: <20020402013826.31708.qmail at mail.kde.org>
To: submit at bugs.kde.org
Subject: character size in editor
From: danny.cabelo at gmx.net
X-KDE-Received: -200.181.174.168

Package:           kdevelop
Version:           2.1beta (using KDE 2.2.2 )
Severity:          wishlist
Installed from:    Mandrake Linux 8.2 i586 - 8.2
Compiler:          gcc version 2.96 20000731 (Mandrake Linux 8.2 2.96-0.76mdk)
OS:                Linux (i686) release 2.4.18-6mdk
OS/Compiler notes: 

In kdevelop editor, put a option to select the
character size.. i don't know how to explain
this.. but i will give an example:

In kwrite, letters  "m" and "i" have the same
size, but in kdevelop, "m" and "i" have different
sizes.

I think, that if all characters with same size
is better for source navigation, independent of
IDE, plataform or anything.. 
this will not change the algoritm ident.


(Submitted via bugs.kde.org)
(Called from KBugReport dialog)