X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;fp=src%2Fjalview%2Fgui%2FDesktop.java;h=1f8983f0e8360876ba5f52ca8a1091272bd02d11;hb=725f1f4a7e1448349bf7dd5f8efb1370de5b9a3e;hp=83d1e3e1a832fcbc3c2ebbe65aa4f9ef28fb025e;hpb=c8cf3175da8d6b889e7d2c442248f694ba823d1a;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 83d1e3e..1f8983f 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -41,6 +41,7 @@ import jalview.structure.StructureSelectionManager; import jalview.urls.IdOrgSettings; import jalview.util.ImageMaker; import jalview.util.MessageManager; +import jalview.util.Platform; import jalview.util.UrlConstants; import jalview.viewmodel.AlignmentViewport; import jalview.ws.params.ParamManager; @@ -94,6 +95,7 @@ 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; @@ -357,7 +359,9 @@ 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(desktop.getDesktopManager())); + new MyDesktopManager( + (Platform.isWindows() ? new DefaultDesktopManager() + : desktop.getDesktopManager()))); Rectangle dims = getLastKnownDimensions(""); if (dims != null)