From 318aabf60497499c45e6e5b993c831b68c06ad8b Mon Sep 17 00:00:00 2001 From: jprocter Date: Thu, 7 Jul 2011 11:27:37 +0100 Subject: [PATCH] comment re JAL-153 --- src/jalview/gui/Desktop.java | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index db2dbf2..03b2005 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -232,9 +232,13 @@ public class Desktop extends jalview.jbgui.GDesktop implements showMemusage.setSelected(selmemusage); desktop.setBackground(Color.white); getContentPane().setLayout(new BorderLayout()); + // alternate config - have scrollbars - see notes in JAL-153 + //JScrollPane sp = new JScrollPane(); + //sp.getViewport().setView(desktop); + //getContentPane().add(sp, BorderLayout.CENTER); getContentPane().add(desktop, BorderLayout.CENTER); - desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE); - + 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 MyDesktopManager( -- 1.7.10.2