src/Tools/Graphview/main_panel.scala
author wenzelm
Mon Mar 25 17:21:26 2019 +0100 (3 months ago)
changeset 69981 3dced198b9ec
parent 59459 985fc55e9f27
permissions -rw-r--r--
more strict AFP properties;
     1 /*  Title:      Tools/Graphview/main_panel.scala
     2     Author:     Markus Kaiser, TU Muenchen
     3     Author:     Makarius
     4 
     5 Graph Panel wrapper.
     6 */
     7 
     8 package isabelle.graphview
     9 
    10 
    11 import isabelle._
    12 
    13 import scala.swing.{SplitPane, Orientation}
    14 
    15 
    16 class Main_Panel(graphview: Graphview) extends SplitPane(Orientation.Vertical)
    17 {
    18   oneTouchExpandable = true
    19 
    20   val graph_panel = new Graph_Panel(graphview)
    21   val tree_panel = new Tree_Panel(graphview, graph_panel)
    22 
    23   leftComponent = tree_panel
    24   rightComponent = graph_panel
    25 
    26   def update_layout()
    27   {
    28     graphview.update_layout()
    29     tree_panel.refresh()
    30     graph_panel.refresh()
    31   }
    32   update_layout()
    33 }