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/Pure/PIDE/headless.scala
changeset 70801 5352449209b1
parent 70800 44eeca528557
child 70872 7c77fb7a6fc9 
--- a/src/Pure/PIDE/headless.scala	Mon Oct 07 17:20:26 2019 +0200
+++ b/src/Pure/PIDE/headless.scala	Mon Oct 07 21:51:31 2019 +0200
@@ -271,7 +271,7 @@
             maximals.sortBy(node => - depth(node))
           }
         val load_limit =
-          if (commit.isDefined) session_options.int("headless_load_limit").toLong * 1024 * 1024
+          if (commit.isDefined) (session_options.real("headless_load_limit") * 1024 * 1024).round
           else 0
         val load_state = Load_State(Nil, rest, load_limit)
isabelle