*
* }
*/
+
+ /**
+ * @j2sNative var overflow = J2S.thisApplet.__Info.overflow;
+ *
+ * let desktop =
+ * document.getElementById("jalviewjs_LayeredPaneUI_10_8div");
+ *
+ * if (desktop != null && overflow) {
+ *
+ * System.out.println("###### Setting overflow to true");
+ *
+ * desktop.style.overflow = "visible";
+ *
+ * } else {
+ *
+ * System.out.println("###### Setting overflow to false");
+ *
+ * System.out.println("###### overflow=");
+ *
+ * System.out.println(overflow);
+ *
+ * System.out.println("###### desktop=");
+ *
+ * console.log(desktop);
+ *
+ * }
+ */
}
// used for jalviewjsTest
jalview.bin.Console.info("JALVIEWJS: CREATED DESKTOP");