src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Tue Sep 24 17:57:42 2024 +0200
+++ b/src/Pure/PIDE/markup.scala	Tue Sep 24 18:17:39 2024 +0200
@@ -184,6 +184,8 @@
         case Markup(EXPRESSION, props) => Some(Kind.get(props))
         case _ => None
       }
+
+    val item: Markup = Markup(EXPRESSION, Kind(ITEM))
   }