From c1fad33365988bdf8e335982df0c3ff84dd0bb8b Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 6 Apr 2005 17:12:58 +0000
Subject: [PATCH] setDesktopManager(new)

---
 src/jalview/gui/Desktop.java |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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");
-- 
1.7.10.2