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.
Isabelle_Markup.tooltip: explicit indication of ML;
authorwenzelm
Fri, 10 Sep 2010 15:05:30 +0200
changeset 39244 d31c03a34f76
parent 39243 307e3d07d19f
child 39245 cc155a9bf3a2
Isabelle_Markup.tooltip: explicit indication of ML;
src/Tools/jEdit/src/jedit/isabelle_markup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/isabelle_markup.scala	Fri Sep 10 14:54:08 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_markup.scala	Fri Sep 10 15:05:30 2010 +0200
@@ -99,7 +99,7 @@
   val tooltip: Markup_Tree.Select[String] =
   {
     case Text.Info(_, XML.Elem(Markup(Markup.ML_TYPING, _), body)) =>
-      Pretty.string_of(List(Pretty.block(body)), margin = 40)
+      Pretty.string_of(List(Pretty.block(XML.Text("ML:") :: Pretty.Break(1) :: body)), margin = 40)
     case Text.Info(_, XML.Elem(Markup(Markup.SORT, _), _)) => "sort"
     case Text.Info(_, XML.Elem(Markup(Markup.TYP, _), _)) => "type"
     case Text.Info(_, XML.Elem(Markup(Markup.TERM, _), _)) => "term"
isabelle