Bold fonts don't appear bold on Mac
Submitted by on Friday, 18 June, 2004 - 23:41
Hi all
I'm running jEdit 4.1 final on Mac OS X.3.4 with Java 1.4.1. The problem is the following : keywords I set to appear in bold style are actually in normal style. That's a bit annoying, since bold style is really handy for code readability.
I read once (in the old forum i think) that changing the JVMVersion property in the Info.plist from 1.4 to 1.3 solve the problem. Actually it solves it, but in the same time it raises others : no mouse wheel support, no "panther" look and feel, plugins needing 1.4 disabled, etc.
Can anyone help me ? Do I have to upgrade to a newer version of jEdit (4.2.preXX) ? Or to upgrade to a newer Java version ?
Thanks a lot (and sorry for my "frenglish", I hope you understand me
.
Sylvain
I'm running jEdit 4.1 final on Mac OS X.3.4 with Java 1.4.1. The problem is the following : keywords I set to appear in bold style are actually in normal style. That's a bit annoying, since bold style is really handy for code readability.
I read once (in the old forum i think) that changing the JVMVersion property in the Info.plist from 1.4 to 1.3 solve the problem. Actually it solves it, but in the same time it raises others : no mouse wheel support, no "panther" look and feel, plugins needing 1.4 disabled, etc.
Can anyone help me ? Do I have to upgrade to a newer version of jEdit (4.2.preXX) ? Or to upgrade to a newer Java version ?
Thanks a lot (and sorry for my "frenglish", I hope you understand me
.Sylvain
