JAL-1625 JAL-1900 preserve the original DesktopManager instance provided by platform...
authorJim Procter <jprocter@issues.jalview.org>
Fri, 15 Sep 2017 14:43:46 +0000 (15:43 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Fri, 15 Sep 2017 14:43:46 +0000 (15:43 +0100)
src/jalview/gui/Desktop.java

index 65eda4b..5d8248b 100644 (file)
@@ -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)