removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);

--- 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)
   }