clarified key event propagation, in accordance to outer_key_listener;

--- a/src/Tools/jEdit/src/completion_popup.scala	Mon Mar 17 10:45:29 2014 +0100
+++ b/src/Tools/jEdit/src/completion_popup.scala	Mon Mar 17 11:33:09 2014 +0100
@@ -246,7 +246,7 @@
               }
               override def propagate(evt: KeyEvent) {
                 JEdit_Lib.propagate_key(view, evt)
-                input(evt)
+                if (evt.getID == KeyEvent.KEY_TYPED) input(evt)
               }
               override def refocus() { text_area.requestFocus }
             }