src/Tools/jEdit/src/jedit/OutputDockable.scala
author wenzelm
Fri Dec 19 23:11:08 2008 +0100 (2008-12-19)
changeset 34408 ad7b6c4813c8
parent 34406 f81cd75ae331
child 34424 c880492754d0
permissions -rw-r--r--
added some headers and comments;
wenzelm@34408
     1
/*
wenzelm@34408
     2
 * Dockable window for raw process output
wenzelm@34408
     3
 *
wenzelm@34408
     4
 * @author Fabian Immler, TU Munich
wenzelm@34408
     5
 * @author Johannes Hölzl, TU Munich
wenzelm@34408
     6
 */
wenzelm@34408
     7
wenzelm@34318
     8
package isabelle.jedit
wenzelm@34318
     9
wenzelm@34318
    10
import java.awt.GridLayout
wenzelm@34318
    11
wenzelm@34318
    12
import javax.swing.{ JPanel, JTextArea, JScrollPane }
wenzelm@34318
    13
wenzelm@34318
    14
import org.gjt.sp.jedit.View
wenzelm@34318
    15
wenzelm@34318
    16
class OutputDockable(view : View, position : String) extends JPanel {
immler@34406
    17
immler@34406
    18
  setLayout(new GridLayout(1, 1))
immler@34406
    19
  add(new JScrollPane(new JTextArea("No Prover running")))
wenzelm@34318
    20
}