src/Pure/Tools/spell_checker.scala
changeset 67014 e6a695d6a6b2
parent 66137 d2923067b376
child 68224 1f7308050349
     1.1 --- a/src/Pure/Tools/spell_checker.scala	Sun Nov 05 17:45:17 2017 +0100
     1.2 +++ b/src/Pure/Tools/spell_checker.scala	Mon Nov 06 16:03:13 2017 +0100
     1.3 @@ -56,7 +56,7 @@
     1.4    {
     1.5      for {
     1.6        spell_range <- rendering.spell_checker_point(range)
     1.7 -      text <- rendering.model.try_get_text(spell_range)
     1.8 +      text <- rendering.model.get_text(spell_range)
     1.9        info <- marked_words(spell_range.start, text, info => info.range.overlaps(range)).headOption
    1.10      } yield info
    1.11    }