--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala Sun Jan 11 13:46:26 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala Sun Jan 11 17:35:56 2009 +0100
@@ -42,6 +42,8 @@
prover.set_document(theory_view,
if (dir.startsWith(Isabelle.VFS_PREFIX)) dir.substring(Isabelle.VFS_PREFIX.length) else dir)
theory_view.activate
+
+ //register output-view
prover.output_info += (text =>
{
output_text_view.append(text)
@@ -70,10 +72,18 @@
state_panel.setDocument(state.results_xml, UserAgent.baseURL)
}
})
+
+ // one independent token marker per prover
+ val token_marker = new DynamicTokenMarker
+ buffer.setTokenMarker(token_marker)
+
+ // register for new declarations
+ prover.decl_info += (pair => pair match {case (a,b) => token_marker += (a,b)})
}
def deactivate {
+ buffer.setTokenMarker(buffer.getMode.getTokenMarker)
theory_view.deactivate
prover.stop
}