obsolete;
authorwenzelm
Wed May 21 12:34:27 2014 +0200 (2014-05-21)
changeset 570346e10bf974693
parent 57033 b24e2b83917f
child 57035 e865c4d99c49
obsolete;
src/Pure/build-jars
src/Tools/Graphview/src/graphview.scala
     1.1 --- a/src/Pure/build-jars	Wed May 21 12:14:03 2014 +0200
     1.2 +++ b/src/Pure/build-jars	Wed May 21 12:34:27 2014 +0200
     1.3 @@ -98,7 +98,6 @@
     1.4    term.scala
     1.5    term_xml.scala
     1.6    "../Tools/Graphview/src/graph_panel.scala"
     1.7 -  "../Tools/Graphview/src/graphview.scala"
     1.8    "../Tools/Graphview/src/layout_pendulum.scala"
     1.9    "../Tools/Graphview/src/main_panel.scala"
    1.10    "../Tools/Graphview/src/model.scala"
     2.1 --- a/src/Tools/Graphview/src/graphview.scala	Wed May 21 12:14:03 2014 +0200
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,56 +0,0 @@
     2.4 -/*  Title:      Tools/Graphview/src/graphview.scala
     2.5 -    Author:     Markus Kaiser, TU Muenchen
     2.6 -
     2.7 -Graphview standalone application.
     2.8 -*/
     2.9 -
    2.10 -package isabelle.graphview
    2.11 -
    2.12 -
    2.13 -import isabelle._
    2.14 -
    2.15 -import java.awt.Dimension
    2.16 -import scala.swing.{MainFrame, BorderPanel, Window, SwingApplication}
    2.17 -import javax.swing.border.EmptyBorder
    2.18 -import javax.swing.ToolTipManager
    2.19 -
    2.20 -
    2.21 -object Graphview extends SwingApplication
    2.22 -{
    2.23 -  def startup(args : Array[String])
    2.24 -  {
    2.25 -    // FIXME avoid I/O etc. on Swing thread
    2.26 -    val graph: Model.Graph =
    2.27 -      try {
    2.28 -        GUI.init_laf()
    2.29 -        Isabelle_System.init()
    2.30 -        Isabelle_Font.install_fonts()
    2.31 -        ToolTipManager.sharedInstance.setDismissDelay(1000*60*60)
    2.32 -
    2.33 -        args.toList match {
    2.34 -          case List(arg) =>
    2.35 -            Model.decode_graph(YXML.parse_body(Symbol.decode(File.read(Path.explode(arg)))))
    2.36 -              .transitive_reduction_acyclic
    2.37 -          case _ => error("Bad arguments:\n" + cat_lines(args))
    2.38 -        }
    2.39 -      }
    2.40 -      catch { case exn: Throwable => Output.error_message(Exn.message(exn)); sys.exit(1) }
    2.41 -
    2.42 -    val top = new MainFrame {
    2.43 -      iconImage = GUI.isabelle_image()
    2.44 -
    2.45 -      title = "Graphview"
    2.46 -      minimumSize = new Dimension(640, 480)
    2.47 -      preferredSize = new Dimension(800, 600)
    2.48 -
    2.49 -      contents = new BorderPanel {
    2.50 -        border = new EmptyBorder(5, 5, 5, 5)
    2.51 -
    2.52 -        add(new Main_Panel(graph), BorderPanel.Position.Center)
    2.53 -      }
    2.54 -    }
    2.55 -
    2.56 -    top.pack()
    2.57 -    top.visible = true
    2.58 -  }
    2.59 -}
    2.60 \ No newline at end of file