/*  Title:      Pure/System/gui_setup.scala

    Author:     Makarius

GUI for basic system setup.

*/

package isabelle

import javax.swing.UIManager

import scala.swing._

import scala.swing.event._

object GUI_Setup extends GUIApplication

{

  def main(args: Array[String]) =

  {

    Swing_Thread.later {

      UIManager.setLookAndFeel(Platform.look_and_feel)

      top.pack()

      top.visible = true

    }

  }

  def top = new MainFrame {

    title = "Isabelle setup"

    // components

    val text = new TextArea {

      editable = false

      columns = 80

      rows = 20

      xLayoutAlignment = 0.5

    }

    val ok = new Button {

      text = "OK"

      xLayoutAlignment = 0.5

    }

    contents = new BoxPanel(Orientation.Vertical) {

      contents += text

      contents += ok

    }

    // values

    if (Platform.is_windows)

      text.append("Cygwin root: " + Cygwin.check_root() + "\n")

    text.append("JVM platform: " + Platform.jvm_platform + "\n")

    try {

      val isabelle_system = new Isabelle_System

      text.append("ML platform: " + isabelle_system.getenv("ML_PLATFORM") + "\n")

      text.append("Isabelle platform: " + isabelle_system.getenv("ISABELLE_PLATFORM") + "\n")

      val platform64 = isabelle_system.getenv("ISABELLE_PLATFORM64")

      if (platform64 != "") text.append("Isabelle platform (64 bit): " + platform64 + "\n")

      text.append("Isabelle home: " + isabelle_system.getenv("ISABELLE_HOME") + "\n")

      text.append("Isabelle java: " + isabelle_system.this_java() + "\n")

    } catch {

      case e: RuntimeException => text.append(e.getMessage + "\n")

    }

    // reactions

    listenTo(ok)

    reactions += {

      case ButtonClicked(`ok`) => System.exit(0)

    }

  }

}