equal
deleted
inserted
replaced
35 } |
35 } |
36 } |
36 } |
37 catch { case exn: Throwable => println(Exn.message(exn)); sys.exit(1) } |
37 catch { case exn: Throwable => println(Exn.message(exn)); sys.exit(1) } |
38 |
38 |
39 val top = new MainFrame { |
39 val top = new MainFrame { |
|
40 iconImage = Isabelle_System.get_icon().getImage |
|
41 |
40 title = "Graphview" |
42 title = "Graphview" |
41 minimumSize = new Dimension(640, 480) |
43 minimumSize = new Dimension(640, 480) |
42 preferredSize = new Dimension(800, 600) |
44 preferredSize = new Dimension(800, 600) |
43 |
45 |
44 contents = new BorderPanel { |
46 contents = new BorderPanel { |