author | wenzelm |
Sun, 28 Jun 2009 16:01:52 +0200 | |
changeset 31827 | b54362b9fbef |
child 31828 | 31584cf201cc |
permissions | -rw-r--r-- |
/* 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) } } }