src/Pure/PIDE/markup.scala
changeset 50545 00bdc48c5f71
parent 50543 42bbe637be54
child 50715 8cfd585b9162
     1.1 --- a/src/Pure/PIDE/markup.scala	Sat Dec 15 12:54:14 2012 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Sat Dec 15 12:55:11 2012 +0100
     1.3 @@ -145,6 +145,7 @@
     1.4    /* text structure */
     1.5  
     1.6    val PARAGRAPH = "paragraph"
     1.7 +  val TEXT_FOLD = "text_fold"
     1.8  
     1.9  
    1.10    /* ML syntax */