--- a/src/Tools/jEdit/src/prover/Command.scala Tue Jan 27 22:23:45 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Command.scala Mon Mar 02 19:17:20 2009 +0100
@@ -72,6 +72,7 @@
def status = _status
def status_=(st: Command.Status.Value) {
if (st == Command.Status.UNPROCESSED) {
+ state_results.clear
// delete markup
for (child <- root_node.children) {
child.children = Nil
@@ -85,7 +86,7 @@
private val results = new mutable.ListBuffer[XML.Tree]
private val state_results = new mutable.ListBuffer[XML.Tree]
- def add_result(running: Boolean, tree: XML.Tree) {
+ def add_result(running: Boolean, tree: XML.Tree) = synchronized {
(if (running) state_results else results) += tree
}