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/pretty_text_area.scala
changeset 67547 aefe7a7b330a
parent 66114 c137a9f038a6
child 68060 3931ed905e93 
--- a/src/Tools/jEdit/src/pretty_text_area.scala	Tue Jan 30 22:46:00 2018 +0100
+++ b/src/Tools/jEdit/src/pretty_text_area.scala	Tue Jan 30 23:01:38 2018 +0100
@@ -129,7 +129,7 @@
 
       val base_snapshot = current_base_snapshot
       val base_results = current_base_results
-      val formatted_body = Pretty.formatted(current_body, margin, metric)
+      val formatted_body = Pretty.formatted(current_body, margin = margin, metric = metric)
 
       future_refresh.map(_.cancel)
       future_refresh =
isabelle