JAL-4238 an attempt to set JalviewJS desktop overflow to visible (not working)
authorBen Soares <b.soares@dundee.ac.uk>
Tue, 21 Nov 2023 16:00:25 +0000 (16:00 +0000)
committerBen Soares <b.soares@dundee.ac.uk>
Tue, 21 Nov 2023 16:00:25 +0000 (16:00 +0000)
src/jalview/gui/Desktop.java

index a185fcc..b33c9c7 100644 (file)
@@ -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");