src/Tools/jEdit/src/isabelle_actions.scala
changeset 50205 788c8263e634
parent 50198 0c7b351a6871
child 50206 6626bc5ed053
     1.1 --- a/src/Tools/jEdit/src/isabelle_actions.scala	Sun Nov 25 20:31:49 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle_actions.scala	Sun Nov 25 20:59:32 2012 +0100
     1.3 @@ -35,13 +35,13 @@
     1.4  
     1.5    def check_buffer(buffer: Buffer)
     1.6    {
     1.7 -    Isabelle.document_model(buffer) match {
     1.8 +    PIDE.document_model(buffer) match {
     1.9        case None =>
    1.10        case Some(model) => model.full_perspective()
    1.11      }
    1.12    }
    1.13  
    1.14 -  def cancel_execution() { Isabelle.session.cancel_execution() }
    1.15 +  def cancel_execution() { PIDE.session.cancel_execution() }
    1.16  
    1.17  
    1.18    /* control styles */