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.
tuned;
authorwenzelm
Mon, 04 Nov 2024 21:00:31 +0100
changeset 81341 2b9ffffccc9b
parent 81340 30f7eb65d679
child 81342 cfb165af55c5
tuned;
src/Pure/Build/build_schedule.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Build/build_schedule.scala	Mon Nov 04 20:55:01 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Mon Nov 04 21:00:31 2024 +0100
@@ -1560,7 +1560,7 @@
     val line_height = Font_Metric.default.height
     val char_width = Font_Metric.default.average_width
     val padding = Font_Metric.default.space_width
-    val gap = Font_Metric.default.average_width * 3
+    val gap = char_width * 3
 
     val graph = schedule.graph
isabelle