more uniform check (see JEdit_Lib.propagate_key);

--- a/src/Tools/jEdit/src/completion_popup.scala	Wed Aug 28 09:08:36 2013 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala	Wed Aug 28 09:12:50 2013 +0200
@@ -76,7 +76,7 @@
 
       register(root, null)
 
-      if (buffer.isEditable) {
+      if (buffer.isEditable && !evt.isConsumed) {
         get_syntax match {
           case Some(syntax) =>
             val caret = text_area.getCaretPosition
@@ -114,7 +114,7 @@
                       override def complete(item: Item) { insert(text_area, item) }
                       override def propagate(e: KeyEvent) {
                         JEdit_Lib.propagate_key(view, e)
-                        if (!e.isConsumed) input(text_area, get_syntax, e)
+                        input(text_area, get_syntax, e)
                       }
                       override def refocus() { text_area.requestFocus }
                     }