git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-3210 JAL-3130 can't read java.specification.version in JalviewJS
[jalview.git]
/
src
/
jalview
/
jbgui
/
GDesktop.java
diff --git
a/src/jalview/jbgui/GDesktop.java
b/src/jalview/jbgui/GDesktop.java
index
b6f3f8c
..
e4a5905
100755
(executable)
--- a/
src/jalview/jbgui/GDesktop.java
+++ b/
src/jalview/jbgui/GDesktop.java
@@
-366,7
+366,9
@@
public class GDesktop extends JFrame
}
});
}
});
- Float specversion = Float.parseFloat(System.getProperty("java.specification.version"));
+ Float specversion = Platform.isJS() ? Float.valueOf(8)
+ : Float.parseFloat(
+ System.getProperty("java.specification.version"));
desktopMenubar.add(FileMenu);
desktopMenubar.add(toolsMenu);
desktopMenubar.add(FileMenu);
desktopMenubar.add(toolsMenu);