X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=1f8983f0e8360876ba5f52ca8a1091272bd02d11;hb=53b99b41ed7f26f2724f3ed87d524eb83c5208f4;hp=65eda4b10bf6e33d72bd49a5f34c96dcf80f0bb4;hpb=518409a5902589799950885ac00c8ce685969414;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 65eda4b..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; @@ -358,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(new DefaultDesktopManager())); + new MyDesktopManager( + (Platform.isWindows() ? new DefaultDesktopManager() + : desktop.getDesktopManager()))); Rectangle dims = getLastKnownDimensions(""); if (dims != null) @@ -2445,6 +2448,7 @@ public class Desktop extends jalview.jbgui.GDesktop Thread worker = new Thread(this); worker.start(); } + repaint(); } public boolean isShowMemoryUsage()