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/isabelle_sidekick.scala
changeset 61871 2cb4a2970941
parent 60272 4f72b00d9952
child 62113 16de2a9b5b3d 
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Sat Dec 19 22:25:01 2015 +0100
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Sat Dec 19 23:16:47 2015 +0100
@@ -179,7 +179,7 @@
                 val range = info.range + command_start
                 val content = command.source(info.range).replace('\n', ' ')
                 val info_text =
-                  Pretty.formatted(Library.separate(Pretty.FBreak, info.info), margin = 40.0)
+                  Pretty.formatted(Library.separate(Pretty.fbrk, info.info), margin = 40.0)
                     .mkString
 
                 new DefaultMutableTreeNode(
isabelle