--- a/src/Tools/jEdit/src/jedit/OutputDockable.scala Sat Dec 20 17:40:30 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/OutputDockable.scala Sat Dec 20 17:41:57 2008 +0100
@@ -7,14 +7,19 @@
package isabelle.jedit
-import java.awt.GridLayout
-import javax.swing.{ JPanel, JTextArea, JScrollPane }
+import java.awt.{Dimension, GridLayout}
+import javax.swing.{JPanel, JTextArea, JScrollPane}
import org.gjt.sp.jedit.View
+import org.gjt.sp.jedit.gui.DockableWindowManager
+
class OutputDockable(view : View, position : String) extends JPanel {
+ if (position == DockableWindowManager.FLOATING)
+ setPreferredSize(new Dimension(500, 250))
+
setLayout(new GridLayout(1, 1))
- add(new JScrollPane(new JTextArea("No Prover running")))
+ add(new JScrollPane(new JTextArea))
}