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 56551 d4da2b11c729
parent 56550 b26bdc1f96e5
child 56558 05c833d402bc 
--- a/src/Tools/jEdit/src/rich_text_area.scala	Sat Apr 12 20:49:57 2014 +0200
+++ b/src/Tools/jEdit/src/rich_text_area.scala	Sat Apr 12 21:00:04 2014 +0200
@@ -320,7 +320,7 @@
             // spell-checker
             for {
               spell_checker <- PIDE.get_spell_checker
-              range0 <- rendering.prose_words(line_range).iterator
+              range0 <- rendering.spell_checker_ranges(line_range)
               text <- JEdit_Lib.try_get_text(buffer, range0)
               range <- spell_checker.bad_words(text)
               r <- JEdit_Lib.gfx_range(text_area, range + range0.start)
isabelle