src/Pure/System/gui_setup.scala

minimal GUI_Setup, which is the main class of Pure.jar;

/*  Title:      Pure/System/gui_setup.scala
    Author:     Makarius

GUI for basic system setup.
*/

package isabelle

import scala.swing._
import scala.swing.event._


object GUI_Setup extends SimpleGUIApplication
{
  def top = new MainFrame {
    title = "Isabelle setup"
    val ok = new Button { text = "OK" }

    contents = new BoxPanel(Orientation.Vertical) {
      contents += ok
      border = scala.swing.Swing.EmptyBorder(20, 20, 20, 20)
    }

    listenTo(ok)
    reactions += {
      case ButtonClicked(`ok`) => System.exit(0)
    }
  }
}