src/Tools/jEdit/src/jedit_spell_checker.scala

--- a/src/Tools/jEdit/src/jedit_spell_checker.scala	Mon Jun 19 21:33:29 2017 +0200
+++ b/src/Tools/jEdit/src/jedit_spell_checker.scala	Tue Jun 20 11:19:06 2017 +0200
@@ -53,7 +53,7 @@
           new EnhancedMenuItem(context.getAction(name).getLabel, name, context)
 
         val complete_items =
-          if (spell_checker.complete_enabled(word)) List(item("isabelle.complete-word"))
+          if (spell_checker.complete(word).nonEmpty) List(item("isabelle.complete-word"))
           else Nil
 
         val update_items =