changeset 34406 | f81cd75ae331 |
parent 34386 | b295fe78294a |
child 34408 | ad7b6c4813c8 |
--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala Mon Dec 15 16:34:19 2008 +0100 +++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala Thu Dec 18 01:10:20 2008 +0100 @@ -166,7 +166,7 @@ // TODO: register - Plugin.plugin.prover.allInfo.add(add_result(_)) + //Plugin.plugin.prover.allInfo.add(add_result(_)) } //Concrete Implementations