src/Tools/jEdit/src/isabelle.scala
changeset 56587 83777a91f5de
parent 56586 5ef60881681d
child 56592 5157f7615e99
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Tue Apr 15 11:26:17 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Tue Apr 15 12:34:16 2014 +0200
     1.3 @@ -299,7 +299,7 @@
     1.4        spell_checker <- PIDE.spell_checker.get
     1.5        doc_view <- PIDE.document_view(text_area)
     1.6        rendering = doc_view.get_rendering()
     1.7 -      range = JEdit_Lib.before_caret_range(text_area, rendering)
     1.8 +      range <- JEdit_Lib.before_caret_range(text_area, rendering)
     1.9        Text.Info(_, word) <- Spell_Checker.current_word(text_area, rendering, range)
    1.10      } {
    1.11        spell_checker.update(word, include, permanent)