src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Sun Mar 24 17:23:48 2019 +0100
+++ b/src/Pure/PIDE/markup.scala	Sun Mar 24 17:24:24 2019 +0100
@@ -304,6 +304,12 @@
   val DOCUMENT_ANTIQUOTATION_OPTION = "document_antiquotation_option"
 
 
+  /* text kind */
+
+  val RAW_TEXT = "raw_text"
+  val PLAIN_TEXT = "plain_text"
+
+
   /* text structure */
 
   val PARAGRAPH = "paragraph"