From 379357f76f6c8f973c145ed94a69225f358f4d0c Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Fri, 15 Sep 2017 15:43:46 +0100 Subject: [PATCH 1/1] JAL-1625 JAL-1900 preserve the original DesktopManager instance provided by platform rather than create our own, so iconify works correctly (should mean we also get iconify working in Linux too) --- src/jalview/gui/Desktop.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 65eda4b..5d8248b 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -94,7 +94,6 @@ import java.util.concurrent.Semaphore; import javax.swing.AbstractAction; import javax.swing.Box; import javax.swing.BoxLayout; -import javax.swing.DefaultDesktopManager; import javax.swing.DesktopManager; import javax.swing.JButton; import javax.swing.JCheckBox; @@ -358,7 +357,7 @@ public class Desktop extends jalview.jbgui.GDesktop // This line prevents Windows Look&Feel resizing all new windows to maximum // if previous window was maximised desktop.setDesktopManager( - new MyDesktopManager(new DefaultDesktopManager())); + new MyDesktopManager(desktop.getDesktopManager())); Rectangle dims = getLastKnownDimensions(""); if (dims != null) -- 1.7.10.2