projects
/
org.ibex.core.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
478684c
)
2002/04/30 21:18:27
author
megacz
<megacz@xwt.org>
Fri, 30 Jan 2004 06:46:40 +0000
(06:46 +0000)
committer
megacz
<megacz@xwt.org>
Fri, 30 Jan 2004 06:46:40 +0000
(06:46 +0000)
darcs-hash:
20040130064640
-2ba56-
1b92abcdbab3ded8c8fc3dfc262915e4996817e8
.gz
CHANGES
patch
|
blob
|
history
src/org/xwt/Platform.java
patch
|
blob
|
history
diff --git
a/CHANGES
b/CHANGES
index
297b6fc
..
83a0e01
100644
(file)
--- a/
CHANGES
+++ b/
CHANGES
@@
-115,6
+115,10
@@
30-Apr megacz Box.java: made dirty() public for Java14
30-Apr megacz Box.java: made dirty() public for Java14
+30-Apr megacz Platform.java: updated to detect Java14
+
+
+
diff --git
a/src/org/xwt/Platform.java
b/src/org/xwt/Platform.java
index
0de6cc0
..
a4b67db
100644
(file)
--- a/
src/org/xwt/Platform.java
+++ b/
src/org/xwt/Platform.java
@@
-51,7
+51,8
@@
public class Platform {
else if (vendor.startsWith("Free Software Foundation")) platform_class = "Win32";
else if (version.startsWith("1.1") && vendor.startsWith("Netscape")) platform_class = "Netscape";
else if (version.startsWith("1.1") && vendor.startsWith("Microsoft")) platform_class = "Microsoft";
else if (vendor.startsWith("Free Software Foundation")) platform_class = "Win32";
else if (version.startsWith("1.1") && vendor.startsWith("Netscape")) platform_class = "Netscape";
else if (version.startsWith("1.1") && vendor.startsWith("Microsoft")) platform_class = "Microsoft";
- else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java2";
+ else if (version.startsWith("1.4")) platform_class = "Java14";
+ else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java12";
if (platform_class != null) {
platform = (Platform)Class.forName("org.xwt.plat." + platform_class).newInstance();
if (platform_class != null) {
platform = (Platform)Class.forName("org.xwt.plat." + platform_class).newInstance();