X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=701d778723fdeffa3a1d0e033f23a97ad1cc329c;hb=be86b041dfcb2aa138e0d78b68fa1a9f6f714eec;hp=e7be7653ef07ff89861f6c465c55087dd92bcc9c;hpb=d50fd279e22d3939612cac97cd08815c98bf10e4;p=jalview.git

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index e7be765..701d778 100644
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -364,6 +364,8 @@ public class Desktop extends jalview.jbgui.GDesktop
     boolean showjconsole = jalview.bin.Cache.getDefault("SHOW_JAVA_CONSOLE",
             false);
     desktop = new MyDesktopPane(selmemusage);
+    
+    
     showMemusage.setSelected(selmemusage);
     desktop.setBackground(Color.white);
     getContentPane().setLayout(new BorderLayout());
@@ -371,9 +373,19 @@ public class Desktop extends jalview.jbgui.GDesktop
     // JScrollPane sp = new JScrollPane();
     // sp.getViewport().setView(desktop);
     // getContentPane().add(sp, BorderLayout.CENTER);
+    
+    // BH 2018 - just an experiment to try unclipped JInternalFrames. 
+    // Must set for all three to be active:
+	if (Jalview.isJS()) 
+	{
+	  getRootPane().putClientProperty("swingjs.overflow.hidden", "false");
+	  ((JComponent) getContentPane()).putClientProperty("swingjs.overflow.hidden", "false");
+	  desktop.putClientProperty("swingjs.overflow.hidden", "false");
+	}
+    
     getContentPane().add(desktop, BorderLayout.CENTER);
     desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
-
+    
     // This line prevents Windows Look&Feel resizing all new windows to maximum
     // if previous window was maximised
     desktop.setDesktopManager(new MyDesktopManager(