Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/rich_text_area.scala
changeset 56558 05c833d402bc
parent 56551 d4da2b11c729
child 56560 ac916ea744e4 
--- a/src/Tools/jEdit/src/rich_text_area.scala	Sun Apr 13 15:34:54 2014 +0200
+++ b/src/Tools/jEdit/src/rich_text_area.scala	Sun Apr 13 16:06:55 2014 +0200
@@ -319,7 +319,7 @@
 
             // spell-checker
             for {
-              spell_checker <- PIDE.get_spell_checker
+              spell_checker <- PIDE.spell_checker.get
               range0 <- rendering.spell_checker_ranges(line_range)
               text <- JEdit_Lib.try_get_text(buffer, range0)
               range <- spell_checker.bad_words(text)
isabelle