Tracker: Bugs
On Mac OS X I find that jEdit does not respect the "preferred" JVM setting. It seems to always use the Apple 1.6 JVM.
I am using jEdit v4.5.2, on Mac OS X v10.8.1.
To reproduce:
1) Use "Java Preferences" from "/Applications/Utilities", to change the the preference order for your installed JVMs. I have installed Oracle Java 7 and moved this to the top.
(see screenshot)
2) Verify this setting has taken hold by running "/usr/libexec/java_home" from a terminal window. Here's what I get:
jam:~ % /usr/libexec/java_home
/Library/Java/JavaVirtualMachines/jdk1.7.0_07.jdk/Contents/Home
3) Open jEdit, and go the "About jEdit" window to see which JVM is being used.
(see screenshot)
Other Java applications (such as NetBeans) respect this preferred JVM setting, as should jEdit.
https://www.google.com/accounts ( https://www.google.com/accounts ) - 2012-09-01 09:06:36 PDT
5
Open
None
Evan Wright
editor core
None
Public
Comments
No follow-up comments have been posted.
Attached Files ( 2 )
| Filename | Description | Download |
|---|---|---|
| java_prefs.jpg | Java Preferences | Download |
| jedit_about.jpg | jEdit About | Download |
Changes ( 4 )
| Field | Old Value | Date | By |
|---|---|---|---|
| assigned_to | nobody | 2012-09-02 10:04:22 PDT | ezust |
| summary | jEdit does should respect preferred JVM setting on Mac OS X | 2012-09-01 09:10:37 PDT | https://www.google.com/accounts |
| File Added | 452402: jedit_about.jpg | 2012-09-01 09:07:36 PDT | https://www.google.com/accounts |
| File Added | 452401: java_prefs.jpg | 2012-09-01 09:06:37 PDT | https://www.google.com/accounts |