diff -r bfea7839d9e1 -r dc7f5e0d9d27 src/Tools/jEdit/src/jedit/plugin.scala --- a/src/Tools/jEdit/src/jedit/plugin.scala Tue Dec 08 14:49:01 2009 +0100 +++ b/src/Tools/jEdit/src/jedit/plugin.scala Tue Dec 08 16:30:20 2009 +0100 @@ -3,6 +3,7 @@ * * @author Johannes Hölzl, TU Munich * @author Fabian Immler, TU Munich + * @author Makarius */ package isabelle.jedit @@ -14,8 +15,7 @@ import scala.collection.mutable -import isabelle.prover.{Prover, Command} -import isabelle.proofdocument.ProofDocument +import isabelle.proofdocument.{Command, Proof_Document, Prover} import isabelle.Isabelle_System import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, EditPane, ServiceManager, View} @@ -98,12 +98,12 @@ /* mapping buffer <-> prover */ - private val mapping = new mutable.HashMap[JEditBuffer, ProverSetup] + private val mapping = new mutable.HashMap[JEditBuffer, Prover_Setup] private def install(view: View) { val buffer = view.getBuffer - val prover_setup = new ProverSetup(buffer) + val prover_setup = new Prover_Setup(buffer) mapping.update(buffer, prover_setup) prover_setup.activate(view) } @@ -115,7 +115,7 @@ if (mapping.isDefinedAt(view.getBuffer)) uninstall(view) else install(view) - def prover_setup(buffer: JEditBuffer): Option[ProverSetup] = mapping.get(buffer) + def prover_setup(buffer: JEditBuffer): Option[Prover_Setup] = mapping.get(buffer) def is_active (buffer: JEditBuffer) = mapping.isDefinedAt(buffer)