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
Merge branch 'task/JAL-4001_Plausible_API' into develop
[jalview.git]
/
srcjar
/
net
/
miginfocom
/
layout
/
PlatformDefaults.java
diff --git
a/srcjar/net/miginfocom/layout/PlatformDefaults.java
b/srcjar/net/miginfocom/layout/PlatformDefaults.java
index
e1b72c4
..
0e422db
100644
(file)
--- a/
srcjar/net/miginfocom/layout/PlatformDefaults.java
+++ b/
srcjar/net/miginfocom/layout/PlatformDefaults.java
@@
-153,6
+153,8
@@
public final class PlatformDefaults
*/
public static int getCurrentPlatform()
{
+ if (/** @j2sNative true ||*/false)
+ return WINDOWS_XP;
final String os = System.getProperty("os.name");
if (os.startsWith("Mac OS")) {
return MAC_OSX;