src/Tools/jEdit/src/jedit/plugin.scala
changeset 34760 dc7f5e0d9d27
parent 34759 bfea7839d9e1
child 34762 0974378d235a
     1.1 --- a/src/Tools/jEdit/src/jedit/plugin.scala	Tue Dec 08 14:49:01 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/plugin.scala	Tue Dec 08 16:30:20 2009 +0100
     1.3 @@ -3,6 +3,7 @@
     1.4   *
     1.5   * @author Johannes Hölzl, TU Munich
     1.6   * @author Fabian Immler, TU Munich
     1.7 + * @author Makarius
     1.8   */
     1.9  
    1.10  package isabelle.jedit
    1.11 @@ -14,8 +15,7 @@
    1.12  
    1.13  import scala.collection.mutable
    1.14  
    1.15 -import isabelle.prover.{Prover, Command}
    1.16 -import isabelle.proofdocument.ProofDocument
    1.17 +import isabelle.proofdocument.{Command, Proof_Document, Prover}
    1.18  import isabelle.Isabelle_System
    1.19  
    1.20  import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, EditPane, ServiceManager, View}
    1.21 @@ -98,12 +98,12 @@
    1.22  
    1.23    /* mapping buffer <-> prover */
    1.24  
    1.25 -  private val mapping = new mutable.HashMap[JEditBuffer, ProverSetup]
    1.26 +  private val mapping = new mutable.HashMap[JEditBuffer, Prover_Setup]
    1.27  
    1.28    private def install(view: View)
    1.29    {
    1.30      val buffer = view.getBuffer
    1.31 -    val prover_setup = new ProverSetup(buffer)
    1.32 +    val prover_setup = new Prover_Setup(buffer)
    1.33      mapping.update(buffer, prover_setup)
    1.34      prover_setup.activate(view)
    1.35    }
    1.36 @@ -115,7 +115,7 @@
    1.37      if (mapping.isDefinedAt(view.getBuffer)) uninstall(view)
    1.38      else install(view)
    1.39  
    1.40 -  def prover_setup(buffer: JEditBuffer): Option[ProverSetup] = mapping.get(buffer)
    1.41 +  def prover_setup(buffer: JEditBuffer): Option[Prover_Setup] = mapping.get(buffer)
    1.42    def is_active (buffer: JEditBuffer) = mapping.isDefinedAt(buffer)
    1.43  
    1.44