diff options
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) { |