Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
obsolete -- full layout takes approx. 100ms;
authorwenzelm
Sun, 18 Jan 2015 22:22:12 +0100
changeset 59401 6ee01e011976
parent 59400 d833cba5cce5
child 59402 4de91de47a6c
obsolete -- full layout takes approx. 100ms;
src/Tools/Graphview/visualizer.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/Graphview/visualizer.scala	Sun Jan 18 22:20:48 2015 +0100
+++ b/src/Tools/Graphview/visualizer.scala	Sun Jan 18 22:22:12 2015 +0100
@@ -79,7 +79,6 @@
       }
       else node.toString
 
-    // FIXME avoid expensive operation on GUI thread
     _layout = Layout.make(options, metrics, node_text _, visible_graph)
   }
isabelle