diff -r c76b41cde4f5 -r 00bdc48c5f71 src/Pure/PIDE/markup.scala
--- a/src/Pure/PIDE/markup.scala	Sat Dec 15 12:54:14 2012 +0100
+++ b/src/Pure/PIDE/markup.scala	Sat Dec 15 12:55:11 2012 +0100
@@ -145,6 +145,7 @@
   /* text structure */
 
   val PARAGRAPH = "paragraph"
+  val TEXT_FOLD = "text_fold"
 
 
   /* ML syntax */