src/Tools/jEdit/src/isabelle.scala
changeset 65139 0a2c0712e432
parent 64882 c3b42ac0cf81
child 65213 51c0f094dc02
--- a/src/Tools/jEdit/src/isabelle.scala	Tue Mar 07 13:55:49 2017 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala	Tue Mar 07 14:33:14 2017 +0100
@@ -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) <- Spell_Checker.current_word(text_area, rendering, range)
+      Text.Info(_, word) <- JEdit_Spell_Checker.current_word(text_area, rendering, range)
     } {
       spell_checker.update(word, include, permanent)
       JEdit_Lib.jedit_views().foreach(_.repaint())