src/Tools/jEdit/src/completion_popup.scala
changeset 56565 927dff80d0df
parent 56564 94c55cc73747
child 56574 2b38472a4695
     1.1 --- a/src/Tools/jEdit/src/completion_popup.scala	Sun Apr 13 21:43:25 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/completion_popup.scala	Sun Apr 13 21:51:49 2014 +0200
     1.3 @@ -200,11 +200,10 @@
     1.4              for {
     1.5                spell_range <- rendering.spell_checker_point(caret_range)
     1.6                text <- JEdit_Lib.try_get_text(text_area.getBuffer, spell_range)
     1.7 -              caret_range0 = caret_range - spell_range.start
     1.8 -              Text.Info(range0, word) <-
     1.9 -                Spell_Checker.marked_words(text,
    1.10 -                  info => info.range.overlaps(caret_range0)).headOption
    1.11 -            } yield Text.Info(range0 + spell_range.start, word)
    1.12 +              info <-
    1.13 +                Spell_Checker.marked_words(spell_range.start, text,
    1.14 +                  info => info.range.overlaps(caret_range)).headOption
    1.15 +            } yield info
    1.16  
    1.17            result match {
    1.18              case Some(Text.Info(range, original)) =>