src/Tools/jEdit/src/isabelle.scala
changeset 56592 5157f7615e99
parent 56587 83777a91f5de
child 56662 f373fb77e0a4
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Tue Apr 15 19:11:34 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Tue Apr 15 19:27:50 2014 +0200
     1.3 @@ -212,7 +212,7 @@
     1.4            def pad(range: Text.Range): String =
     1.5              if (JEdit_Lib.try_get_text(buffer, range) == Some("\n")) "" else "\n"
     1.6  
     1.7 -          val caret = JEdit_Lib.point_range(buffer, text_area.getCaretPosition)
     1.8 +          val caret = JEdit_Lib.caret_range(text_area)
     1.9            val before_caret = JEdit_Lib.point_range(buffer, caret.start - 1)
    1.10            pad(before_caret) + text + pad(caret)
    1.11          }
    1.12 @@ -299,7 +299,7 @@
    1.13        spell_checker <- PIDE.spell_checker.get
    1.14        doc_view <- PIDE.document_view(text_area)
    1.15        rendering = doc_view.get_rendering()
    1.16 -      range <- JEdit_Lib.before_caret_range(text_area, rendering)
    1.17 +      range = JEdit_Lib.caret_range(text_area)
    1.18        Text.Info(_, word) <- Spell_Checker.current_word(text_area, rendering, range)
    1.19      } {
    1.20        spell_checker.update(word, include, permanent)