From: Ben Soares Date: Tue, 21 Nov 2023 16:00:25 +0000 (+0000) Subject: JAL-4238 an attempt to set JalviewJS desktop overflow to visible (not working) X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=3cfc2d54b6d58df484be2dab494e09341c783d86;p=jalview.git JAL-4238 an attempt to set JalviewJS desktop overflow to visible (not working) --- diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index a185fcc..b33c9c7 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -671,6 +671,33 @@ public class Desktop extends jalview.jbgui.GDesktop * * } */ + + /** + * @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");