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/jedit_main/isabelle_sidekick.scala
changeset 75394 42267c650205
parent 75393 87ebf5a50283
child 76765 c654103e9c9d 
--- a/src/Tools/jEdit/jedit_main/isabelle_sidekick.scala	Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Tools/jEdit/jedit_main/isabelle_sidekick.scala	Fri Apr 01 23:19:12 2022 +0200
@@ -187,7 +187,7 @@
               snapshot.version, command, Command.Markup_Index.markup,
                 command.range, Markup.Elements.full)
           Isabelle_Sidekick.swing_markup_tree(markup, data.root,
-            (info: Text.Info[List[XML.Elem]]) => {
+            { (info: Text.Info[List[XML.Elem]]) =>
               val range = info.range + command_start
               val content = command.source(info.range).replace('\n', ' ')
               val info_text = Pretty.formatted(Pretty.fbreaks(info.info), margin = 40.0).mkString
isabelle