1/* Title: Tools/Graphview/main_panel.scala 2 Author: Markus Kaiser, TU Muenchen 3 Author: Makarius 4 5Graph Panel wrapper. 6*/ 7 8package isabelle.graphview 9 10 11import isabelle._ 12 13import scala.swing.{SplitPane, Orientation} 14 15 16class 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} 34