From 3cfc2d54b6d58df484be2dab494e09341c783d86 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Tue, 21 Nov 2023 16:00:25 +0000 Subject: [PATCH] JAL-4238 an attempt to set JalviewJS desktop overflow to visible (not working) --- src/jalview/gui/Desktop.java | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) 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"); -- 1.7.10.2