From deb59934fa7ad2240efc8516a8115caee0a05f63 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 7 Apr 2005 10:41:22 +0000 Subject: [PATCH] add note about desktopManager --- src/jalview/gui/Desktop.java | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 6baa2bb..b2c86bb 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -47,11 +47,16 @@ public class Desktop extends jalview.jbgui.GDesktop implements DropTargetListene setTitle("Jalview 2005"); setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); desktop = new JDesktopPane(); - desktop.setBackground(new Color(220,220,230)); + // desktop.setBackground(Color.white); setContentPane(desktop); desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE); + + + // This line prevents Windows Look&Feel resizing all new windows to maximum + // if previous window was maximised desktop.setDesktopManager( new DefaultDesktopManager() ); + Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); String x = jalview.bin.Cache.getProperty("SCREEN_X"); String y = jalview.bin.Cache.getProperty("SCREEN_Y"); -- 1.7.10.2