src/Tools/jEdit/src/isabelle.scala
changeset 56575 cdd609ea595d
parent 56574 2b38472a4695
child 56576 86148ca3c4fd
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Mon Apr 14 21:51:41 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Mon Apr 14 22:51:23 2014 +0200
     1.3 @@ -299,9 +299,19 @@
     1.4        spell_checker <- PIDE.spell_checker.get
     1.5        doc_view <- PIDE.document_view(text_area)
     1.6        Text.Info(_, word) <- Spell_Checker.current_word(text_area, doc_view.get_rendering())
     1.7 -    } spell_checker.update(word, include, permanent)
     1.8 +    } {
     1.9 +      spell_checker.update(word, include, permanent)
    1.10 +      JEdit_Lib.jedit_views().foreach(_.repaint())
    1.11 +    }
    1.12    }
    1.13  
    1.14 -  def reset_dictionary(): Unit = PIDE.spell_checker.get.foreach(_.reset())
    1.15 +  def reset_dictionary(view: View)
    1.16 +  {
    1.17 +    for (spell_checker <- PIDE.spell_checker.get)
    1.18 +    {
    1.19 +      spell_checker.reset()
    1.20 +      JEdit_Lib.jedit_views().foreach(_.repaint())
    1.21 +    }
    1.22 +  }
    1.23  }
    1.24