diff options
author | Sven Gothel <[email protected]> | 2011-11-05 05:51:40 +0100 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2011-11-05 05:51:40 +0100 |
commit | 6d57bd7717834afcd5f1dc3b60d696eda1997fe8 (patch) | |
tree | a1ad158532dafb018044bc101301901cc08473ca /make/config/nativewindow/jawt-CustomJavaCode.java | |
parent | fe4f9f3f83cda05052549cc34fb3f7acb4eabb9c (diff) |
Cleanup ; JAWT* version flag setting based whether
Cleanup
- use Platform OS_TYPE
- ..
JAWT* version flag
- if JAWTWindow is Applet, attempt offscreenLayer if avail
- ..
Diffstat (limited to 'make/config/nativewindow/jawt-CustomJavaCode.java')
-rw-r--r-- | make/config/nativewindow/jawt-CustomJavaCode.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/make/config/nativewindow/jawt-CustomJavaCode.java b/make/config/nativewindow/jawt-CustomJavaCode.java index 23da6b3b9..090dcb31f 100644 --- a/make/config/nativewindow/jawt-CustomJavaCode.java +++ b/make/config/nativewindow/jawt-CustomJavaCode.java @@ -20,6 +20,12 @@ public static void setJAWTVersionFlags(int versionFlags) { } } +public static boolean isJAWTInstantiated() { + synchronized (JAWT.class) { + return jawt != null; + } +} + /** Helper routine for all users to call to access the JAWT. */ public static JAWT getJAWT() { if (jawt == null) { |