src/Tools/jEdit/src/jedit/plugin.scala
changeset 38221 e0f00f0945b4
parent 37557 1ae272fd4082
child 38222 dac5fa0ac971
     1.1 --- a/src/Tools/jEdit/src/jedit/plugin.scala	Fri Aug 06 21:52:49 2010 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit/plugin.scala	Sat Aug 07 13:19:48 2010 +0200
     1.3 @@ -1,6 +1,4 @@
     1.4  /*  Title:      Tools/jEdit/src/jedit/plugin.scala
     1.5 -    Author:     Johannes Hölzl, TU Munich
     1.6 -    Author:     Fabian Immler, TU Munich
     1.7      Author:     Makarius
     1.8  
     1.9  Main Isabelle/jEdit plugin setup.
    1.10 @@ -32,11 +30,6 @@
    1.11    var session: Session = null
    1.12  
    1.13  
    1.14 -  /* name */
    1.15 -
    1.16 -  val NAME = "Isabelle"
    1.17 -
    1.18 -
    1.19    /* properties */
    1.20  
    1.21    val OPTION_PREFIX = "options.isabelle."
    1.22 @@ -110,7 +103,7 @@
    1.23    }
    1.24  
    1.25  
    1.26 -  /* main jEdit components */  // FIXME ownership!?
    1.27 +  /* main jEdit components */
    1.28  
    1.29    def jedit_buffers(): Iterator[Buffer] = jEdit.getBuffers().iterator
    1.30  
    1.31 @@ -149,12 +142,12 @@
    1.32      }
    1.33  
    1.34  
    1.35 -  /* manage prover */
    1.36 +  /* manage prover */  // FIXME async!?
    1.37  
    1.38    private def prover_started(view: View): Boolean =
    1.39    {
    1.40      val timeout = Int_Property("startup-timeout") max 1000
    1.41 -    session.start(timeout, Isabelle.isabelle_args()) match {
    1.42 +    session.started(timeout, Isabelle.isabelle_args()) match {
    1.43        case Some(err) =>
    1.44          val text = new JTextArea(err); text.setEditable(false)
    1.45          Library.error_dialog(view, null, "Failed to start Isabelle process", text)