[ jEdit-devel ] [ jedit-Bugs-438459 ] Printing capitalized words...

[<no...@so...>]

Bugs item #438459, was opened at 2001-07-04 00:47
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=438459&group_id=588

Category: editor core
Group: minor bug
Status: Open
Resolution: None
>Priority: 1
Submitted By: Tobias Braun (tbraun)
Assigned to: Nobody/Anonymous (nobody)
Summary: Printing capitalized words...

Initial Comment:
When printing C-Source containing capitalized words (for example constants) those are printed correctly unless they contain a capital 'S'. The capital 'S' is printed as minor 's'. 





JEdit-Version: 3.1final





tb@---:~ > java -version


java version "1.3.0"


Java(TM) 2 Runtime Environment, Standard Edition (build 1.3.0)


Classic VM (build 1.3.0, J2RE 1.3.0 IBM build cx130-20001025 (JIT enabled: jitc))





Linux version 2.4.2-4GB (root@Pentium.suse.de) (gcc version 2.95.2 19991024 (release)) #1 Mon Mar 12 17:28:17 GMT 200





I have attached an example Postscript file created from just one line of C-Code:


#define MAXUSERS 2000







----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=438459&group_id=588