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/jEdit/src/timing_dockable.scala
changeset 69864 d594997cdcf4
parent 69863 9532d5b2e932
child 72823 ab1a49ac456b 
--- a/src/Tools/jEdit/src/timing_dockable.scala	Tue Mar 05 13:11:01 2019 +0100
+++ b/src/Tools/jEdit/src/timing_dockable.scala	Tue Mar 05 13:31:33 2019 +0100
@@ -192,7 +192,7 @@
           else {
             val node_timing =
               Document_Status.Overall_Timing.make(
-                snapshot.state, snapshot.version, node.commands, timing_threshold)
+                snapshot.state, snapshot.version, node.commands, threshold = timing_threshold)
             timing1 + (name -> node_timing)
           }
       })
isabelle