X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;fp=src%2Fjalview%2Fgui%2FDesktop.java;h=5366d1f09ce99997fe1e523a91219d91ec2326c4;hb=0ca5a60ca575f0d0e6aeea158485f16cd61df082;hp=8ca22b50110798c4c581fe1ff11cf7bfb3bbcfcf;hpb=30ffb528a75d620eff65932c9f127e75113ac464;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 8ca22b5..5366d1f 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -360,7 +360,8 @@ public class Desktop extends jalview.jbgui.GDesktop new MyDesktopManager( (Platform.isWindows() ? new DefaultDesktopManager() : Platform.isAMac() - ? new AquaInternalFrameManager() + ? new AquaInternalFrameManager( + desktop.getDesktopManager()) : desktop.getDesktopManager()))); Rectangle dims = getLastKnownDimensions("");