src/Tools/Graphview/main_panel.scala
author wenzelm
Wed, 27 Mar 2024 13:41:08 +0100
changeset 80028 38bbc2ff3c24
parent 75393 87ebf5a50283
permissions -rw-r--r--
remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";

/*  Title:      Tools/Graphview/main_panel.scala
    Author:     Markus Kaiser, TU Muenchen
    Author:     Makarius

Graph Panel wrapper.
*/

package isabelle.graphview


import isabelle._

import scala.swing.{SplitPane, Orientation}


class Main_Panel(graphview: Graphview) extends SplitPane(Orientation.Vertical) {
  oneTouchExpandable = true

  val graph_panel = new Graph_Panel(graphview)
  val tree_panel = new Tree_Panel(graphview, graph_panel)

  leftComponent = tree_panel
  rightComponent = graph_panel

  def update_layout(): Unit = {
    graphview.update_layout()
    tree_panel.refresh()
    graph_panel.refresh()
  }
  update_layout()
}