author | immler@in.tum.de |
Wed, 27 May 2009 17:07:02 +0200 | |
changeset 34578 | 7a0531f2be61 |
parent 34577 | aef72e071725 |
child 34579 | f5c3ad245539 |
--- a/src/Tools/jEdit/src/prover/Prover.scala Wed May 27 16:23:15 2009 +0200 +++ b/src/Tools/jEdit/src/prover/Prover.scala Wed May 27 17:07:02 2009 +0200 @@ -216,8 +216,6 @@ cmd.markup_root += cmd.markup_node(begin.get, end.get, OuterInfo(kind)) command_change(cmd) }) - else - command_change(command) case _ => //}}} }