From 88c1baa9c82687f761e21df76f9eef5cc2878425 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 15 Sep 2005 10:07:56 +0000
Subject: [PATCH] Remove key listener

---
 src/jalview/gui/Desktop.java |    7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 700b16f..2b9d570 100755
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -120,13 +120,6 @@ public class Desktop extends jalview.jbgui.GDesktop
 
         discoverer=new jalview.ws.Discoverer(); // Only gets started if gui is displayed.
 
-        this.addKeyListener(new KeyAdapter()
-            {
-              public void keyPressed(KeyEvent k)
-              {
-                System.out.println(k);
-              }
-            });
     }
 
     /**
-- 
1.7.10.2