src/Tools/Graphview/src/graphview.scala
changeset 57034 6e10bf974693
parent 57033 b24e2b83917f
child 57035 e865c4d99c49
     1.1 --- a/src/Tools/Graphview/src/graphview.scala	Wed May 21 12:14:03 2014 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,56 +0,0 @@
     1.4 -/*  Title:      Tools/Graphview/src/graphview.scala
     1.5 -    Author:     Markus Kaiser, TU Muenchen
     1.6 -
     1.7 -Graphview standalone application.
     1.8 -*/
     1.9 -
    1.10 -package isabelle.graphview
    1.11 -
    1.12 -
    1.13 -import isabelle._
    1.14 -
    1.15 -import java.awt.Dimension
    1.16 -import scala.swing.{MainFrame, BorderPanel, Window, SwingApplication}
    1.17 -import javax.swing.border.EmptyBorder
    1.18 -import javax.swing.ToolTipManager
    1.19 -
    1.20 -
    1.21 -object Graphview extends SwingApplication
    1.22 -{
    1.23 -  def startup(args : Array[String])
    1.24 -  {
    1.25 -    // FIXME avoid I/O etc. on Swing thread
    1.26 -    val graph: Model.Graph =
    1.27 -      try {
    1.28 -        GUI.init_laf()
    1.29 -        Isabelle_System.init()
    1.30 -        Isabelle_Font.install_fonts()
    1.31 -        ToolTipManager.sharedInstance.setDismissDelay(1000*60*60)
    1.32 -
    1.33 -        args.toList match {
    1.34 -          case List(arg) =>
    1.35 -            Model.decode_graph(YXML.parse_body(Symbol.decode(File.read(Path.explode(arg)))))
    1.36 -              .transitive_reduction_acyclic
    1.37 -          case _ => error("Bad arguments:\n" + cat_lines(args))
    1.38 -        }
    1.39 -      }
    1.40 -      catch { case exn: Throwable => Output.error_message(Exn.message(exn)); sys.exit(1) }
    1.41 -
    1.42 -    val top = new MainFrame {
    1.43 -      iconImage = GUI.isabelle_image()
    1.44 -
    1.45 -      title = "Graphview"
    1.46 -      minimumSize = new Dimension(640, 480)
    1.47 -      preferredSize = new Dimension(800, 600)
    1.48 -
    1.49 -      contents = new BorderPanel {
    1.50 -        border = new EmptyBorder(5, 5, 5, 5)
    1.51 -
    1.52 -        add(new Main_Panel(graph), BorderPanel.Position.Center)
    1.53 -      }
    1.54 -    }
    1.55 -
    1.56 -    top.pack()
    1.57 -    top.visible = true
    1.58 -  }
    1.59 -}
    1.60 \ No newline at end of file