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/src/graph_panel.scala
changeset 50469 04580b1318b2
parent 50468 7a2a4b84c5ee
child 50470 cb73e91bb019 
--- a/src/Tools/Graphview/src/graph_panel.scala	Mon Dec 10 19:58:45 2012 +0100
+++ b/src/Tools/Graphview/src/graph_panel.scala	Mon Dec 10 20:32:13 2012 +0100
@@ -110,7 +110,8 @@
   apply_layout()
   fit_to_window()
   
-  protected object Transform {
+  private object Transform
+  {
     val padding = (4000, 2000)
     
     private var _scale = 1.0
isabelle