src/Tools/jEdit/src/jedit/OutputDockable.scala
author wenzelm
Sun Oct 19 16:51:55 2008 +0200 (2008-10-19)
changeset 34318 c13e168a8ae6
child 34406 f81cd75ae331
permissions -rw-r--r--
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm@34318
     1
package isabelle.jedit
wenzelm@34318
     2
wenzelm@34318
     3
import java.awt.GridLayout
wenzelm@34318
     4
wenzelm@34318
     5
import javax.swing.{ JPanel, JTextArea, JScrollPane }
wenzelm@34318
     6
wenzelm@34318
     7
import org.gjt.sp.jedit.View
wenzelm@34318
     8
wenzelm@34318
     9
class OutputDockable(view : View, position : String) extends JPanel {
wenzelm@34318
    10
  {
wenzelm@34318
    11
    val textView = new JTextArea()
wenzelm@34318
    12
    
wenzelm@34318
    13
    setLayout(new GridLayout(1, 1))
wenzelm@34318
    14
    add(new JScrollPane(textView))
wenzelm@34318
    15
    
wenzelm@34318
    16
    textView.append("== Isabelle output ==\n")
wenzelm@34318
    17
    
wenzelm@34318
    18
    Plugin.plugin.prover.outputInfo.add( text => textView.append(text) )
wenzelm@34318
    19
  }
wenzelm@34318
    20
}