# HG changeset patch
# User wenzelm
# Date 1403970874 -7200
# Node ID 966b12f636b96c7efc64e45efcfac26524397859
# Parent  96f970d1522b570221fb0f25906915d7cea5dea8
removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);

diff -r 96f970d1522b -r 966b12f636b9 src/Tools/jEdit/src/isabelle.scala
--- a/src/Tools/jEdit/src/isabelle.scala	Sat Jun 28 15:50:48 2014 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Sat Jun 28 17:54:34 2014 +0200
@@ -255,8 +255,7 @@
 
   def complete(view: View, word_only: Boolean)
   {
-    if (!Completion_Popup.Text_Area.action(view.getTextArea, word_only))
-      CompleteWord.completeWord(view)
+    Completion_Popup.Text_Area.action(view.getTextArea, word_only)
   }