Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Graphview/main_panel.scala
changeset 59395 4c5396f52546
parent 59393 9f518fa77c1c
child 59396 a2f4252c5489 
--- a/src/Tools/Graphview/main_panel.scala	Sun Jan 18 19:09:41 2015 +0100
+++ b/src/Tools/Graphview/main_panel.scala	Sun Jan 18 19:21:10 2015 +0100
@@ -34,7 +34,7 @@
   }
 
   val split_pane =
-    if (visualizer.get_options.bool("graphview_swap_panels"))
+    if (visualizer.options.bool("graphview_swap_panels"))
       new SplitPane(Orientation.Vertical, tree_panel, graph_panel)
     else
       new SplitPane(Orientation.Vertical, graph_panel, tree_panel)
isabelle