diff -r 135bf45026ea -r dad409cd3423 src/Tools/jEdit/src/isabelle.scala
--- a/src/Tools/jEdit/src/isabelle.scala	Mon Jun 19 19:58:56 2017 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Mon Jun 19 19:59:13 2017 +0200
@@ -419,7 +419,7 @@
       doc_view <- Document_View.get(text_area)
       rendering = doc_view.get_rendering()
       range = JEdit_Lib.caret_range(text_area)
-      Text.Info(_, word) <- JEdit_Spell_Checker.current_word(text_area, rendering, range)
+      Text.Info(_, word) <- Spell_Checker.current_word(rendering, range)
     } {
       spell_checker.update(word, include, permanent)
       JEdit_Lib.jedit_views().foreach(_.repaint())