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 73340 0ffcad1f6130
parent 59459 985fc55e9f27
child 75393 87ebf5a50283 
--- a/src/Tools/Graphview/main_panel.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Tools/Graphview/main_panel.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -23,7 +23,7 @@
   leftComponent = tree_panel
   rightComponent = graph_panel
 
-  def update_layout()
+  def update_layout(): Unit =
   {
     graphview.update_layout()
     tree_panel.refresh()
isabelle