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.
clarified rendering: entity acts as atomic notation / expression;
authorwenzelm
Fri, 01 Nov 2024 18:17:03 +0100
changeset 81304 228f4b9d1d67
parent 81303 cee03fbcec0d
child 81305 e85b5f7f9b16
clarified rendering: entity acts as atomic notation / expression;
src/Pure/PIDE/rendering.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/rendering.scala	Fri Nov 01 18:12:40 2024 +0100
+++ b/src/Pure/PIDE/rendering.scala	Fri Nov 01 18:17:03 2024 +0100
@@ -224,7 +224,7 @@
 
   val structure_elements =
     Markup.Elements(Markup.NOTATION, Markup.EXPRESSION, Markup.LANGUAGE, Markup.ML_TYPING,
-      Markup.MARKDOWN_PARAGRAPH, Markup.MARKDOWN_ITEM, Markup.Markdown_List.name,
+      Markup.MARKDOWN_PARAGRAPH, Markup.MARKDOWN_ITEM, Markup.Markdown_List.name, Markup.ENTITY,
       Markup.COMMAND_SPAN)
 
   val tooltip_elements =
isabelle