From: jprocter Date: Thu, 7 Jul 2011 10:27:37 +0000 (+0100) Subject: comment re JAL-153 X-Git-Tag: Release_2_7~143 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=318aabf60497499c45e6e5b993c831b68c06ad8b;p=jalview.git comment re JAL-153 --- 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(