From 8a5e515191927f18f4d06b261888c011798ff506 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Mon, 26 Nov 2018 10:44:56 +0000 Subject: [PATCH] JAL-3032 make JS properties conditional on Jalview.isJS() --- src/jalview/gui/Desktop.java | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 12359d0..701d778 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -376,9 +376,12 @@ public class Desktop extends jalview.jbgui.GDesktop // BH 2018 - just an experiment to try unclipped JInternalFrames. // Must set for all three to be active: - getRootPane().putClientProperty("swingjs.overflow.hidden", "false"); - ((JComponent)getContentPane()).putClientProperty("swingjs.overflow.hidden", "false"); - desktop.putClientProperty("swingjs.overflow.hidden", "false"); + 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); -- 1.7.10.2