--- a/src/Tools/jEdit/src/jedit/OutputDockable.scala Mon Dec 15 16:34:19 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/OutputDockable.scala Thu Dec 18 01:10:20 2008 +0100
@@ -7,14 +7,7 @@
import org.gjt.sp.jedit.View
class OutputDockable(view : View, position : String) extends JPanel {
- {
- val textView = new JTextArea()
-
- setLayout(new GridLayout(1, 1))
- add(new JScrollPane(textView))
-
- textView.append("== Isabelle output ==\n")
-
- Plugin.plugin.prover.outputInfo.add( text => textView.append(text) )
- }
+
+ setLayout(new GridLayout(1, 1))
+ add(new JScrollPane(new JTextArea("No Prover running")))
}