|
/* 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()
{
graphview.update_layout()
tree_panel.refresh()
graph_panel.refresh()
}
update_layout()
}
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
