From: amwaterhouse Date: Wed, 6 Apr 2005 17:12:58 +0000 (+0000) Subject: setDesktopManager(new) X-Git-Tag: Release_2_0~483 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=c1fad33365988bdf8e335982df0c3ff84dd0bb8b;p=jalview.git setDesktopManager(new) --- diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 6dca15b..6baa2bb 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -47,9 +47,10 @@ public class Desktop extends jalview.jbgui.GDesktop implements DropTargetListene setTitle("Jalview 2005"); setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); desktop = new JDesktopPane(); - // desktop.setBackground(Color.white); + desktop.setBackground(new Color(220,220,230)); setContentPane(desktop); desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE); + desktop.setDesktopManager( new DefaultDesktopManager() ); Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); String x = jalview.bin.Cache.getProperty("SCREEN_X");