Menu

#1578 with Apple JDK 1.4.1, fonts wrong

closed-fixed
nobody
None
5
2003-07-03
2003-03-20
No

After installing Apple's released version of JDK 1.4.1, both 1.4.1 and 1.3.1 are available on the system.

I downloaded and installed the pure JAR version of jEdit (ie. not the MacOS .app bundle).

When launching jEdit with 1.4.1, text in the editor is all displayed in the same font. Colors are altered according to the normal rules (eg. for comments et cetera), but the font never becomes bold or italic or anything.

When launching the same jEdit JAR file with 1.3.1, it works.

(I know this observation appeared on the jedit.org discussion boards, but I haven't seen it in the bug tracking system, so I thought I'd drop it in here. If you guys are already looking at the discussion under the "Java 1.4.1 for MacOS X released" news item on jedit.org, let me know, but otherwise I'll try to get more details on each individual bug and post them here. In every case I've seen, the .app bundle behaves like the pure JAR version invoked with JDK 1.4.1, but avoiding the app bundle makes it easier for me to explicitly check differences in behavior between 1.3.1 and 1.4.1.)

Discussion

  • Kris Kopicki

    Kris Kopicki - 2003-03-25

    Logged In: YES
    user_id=592663

    These are all bugs in Apples Java 1.4.1 (it's generally safe
    to make that assumption if it works fine in Java 1.3.1).

     
  • Slava Pestov

    Slava Pestov - 2003-07-03
    • status: open --> closed-fixed
     
  • Slava Pestov

    Slava Pestov - 2003-07-03

    Logged In: YES
    user_id=2280

    This is fixed in the latest developer preview of JDK 1.4.1
    and I guess Apple will release this in final form before OS
    10.3

     
  • Jonathan Dance

    Jonathan Dance - 2003-09-28

    Logged In: YES
    user_id=824896

    Hi,
    I'm still having this problem with the latest JDK using the
    Mac bundle. I believe Java 1.4.1. has been updated since
    this bug report, because it now works when running the jar.

    Anyway, I've tried to triage this as much as possible, here
    are my findings:

    - Launching jedit.jar (with Java 1.4.1) works fine with all
    fonts that have bold. (small bug: bold is always an option
    in the Text Area font select box, even for fonts that don't
    have Bold)
    - Launching jEdit.app doesn't work with *most* fonts

    However, certain fonts do work with the .app. I believe the
    fonts that work are the ones in the Java framework
    directory, and fonts that are "Font bundles" in the
    Library/Fonts directory.

    I'm sure this has been fixed in 4.2, but is there anything
    you can think of which would cause this? Do we already know?
    I think it must be in the jEdit.app itself. I've looked
    through all the text files and didn't find anything.

    Still hoping for bold...

    Regards,
    Jonathan

     

Log in to post a comment.