From: Jim Procter <jprocter@issues.jalview.org>
Date: Fri, 15 Sep 2017 14:43:46 +0000 (+0100)
Subject: JAL-1625 JAL-1900 preserve the original DesktopManager instance provided by platform... 
X-Git-Tag: Release_2_11_0~244^2~3
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=379357f76f6c8f973c145ed94a69225f358f4d0c;p=jalview.git

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)
---

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)