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.
| Submitted | Anonymous - 2012-09-01 - 16:06:36z | Assigned | evanpw |
|---|---|---|---|
| Priority | 5 | Category | editor core |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |
| 2012-09-01 - 16:06:37z |
java_prefs.jpg Java Preferences |
|---|---|
| 2012-09-01 - 16:07:36z |
jedit_about.jpg jEdit About |