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/font_info.scala
changeset 81381 76f74ac9edee
parent 76610 6e2383488a55
child 81383 75a2c6af8a02 
--- a/src/Tools/jEdit/src/font_info.scala	Thu Nov 07 11:35:39 2024 +0100
+++ b/src/Tools/jEdit/src/font_info.scala	Thu Nov 07 11:46:21 2024 +0100
@@ -32,7 +32,7 @@
     restrict_size(jEdit.getIntegerProperty("view.fontsize", 16).toFloat * scale.toFloat)
 
   def main(scale: Double = 1.0): Font_Info =
-    Font_Info(main_family(), main_size(scale))
+    Font_Info(main_family(), main_size(scale = scale))
 
 
   /* incremental size change */
isabelle