src/Tools/jEdit/src/isabelle.scala

--- a/src/Tools/jEdit/src/isabelle.scala	Fri Aug 30 12:33:16 2013 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Fri Aug 30 12:44:39 2013 +0200
@@ -168,7 +168,8 @@
   def complete(view: View)
   {
     Completion_Popup.Text_Area(view.getTextArea) match {
-      case Some(text_area_completion) => text_area_completion.action(true)
+      case Some(text_area_completion) =>
+        text_area_completion.action(immediate = true, explicit = true)
       case None => CompleteWord.completeWord(view)
     }
   }