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