Index: trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java	(revision 9084)
+++ trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java	(revision 9085)
@@ -121,6 +121,6 @@
 
     private void processKeyEvent(KeyEvent e) {
-        if (Main.isDebugEnabled()) {
-            Main.debug("AdvancedKeyPressDetector enabled="+enabled+" => processKeyEvent("+e+") from "+new Exception().getStackTrace()[2]);
+        if (Main.isTraceEnabled()) {
+            Main.trace("AdvancedKeyPressDetector enabled="+enabled+" => processKeyEvent("+e+") from "+new Exception().getStackTrace()[2]);
         }
         if (e.getID() == KeyEvent.KEY_PRESSED) {
@@ -130,6 +130,6 @@
                 if (isFocusInMainWindow()) {
                     for (KeyPressReleaseListener q: keyListeners) {
-                        if (Main.isDebugEnabled()) {
-                            Main.debug(q+" => doKeyPressed("+e+')');
+                        if (Main.isTraceEnabled()) {
+                            Main.trace(q+" => doKeyPressed("+e+')');
                         }
                         q.doKeyPressed(e);
@@ -143,6 +143,6 @@
                     if (isFocusInMainWindow()) {
                         for (KeyPressReleaseListener q: keyListeners) {
-                            if (Main.isDebugEnabled()) {
-                                Main.debug(q+" => doKeyReleased("+e+')');
+                            if (Main.isTraceEnabled()) {
+                                Main.trace(q+" => doKeyReleased("+e+')');
                             }
                             q.doKeyReleased(e);