src/Pure/PIDE/markup.scala
changeset 61449 4f31f79cf2d1
parent 60882 45bfd18835f1
child 61598 ed4dad8823a4
     1.1 --- a/src/Pure/PIDE/markup.scala	Thu Oct 15 13:48:47 2015 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Thu Oct 15 15:06:03 2015 +0200
     1.3 @@ -243,6 +243,13 @@
     1.4    val TEXT_FOLD = "text_fold"
     1.5  
     1.6  
     1.7 +  /* Markdown document structure */
     1.8 +
     1.9 +  val MARKDOWN_PARAGRAPH = "markdown_paragraph"
    1.10 +  val Markdown_List = new Markup_String("markdown_list", "kind")
    1.11 +  val Markdown_Item = new Markup_Int("markdown_item", "depth")
    1.12 +
    1.13 +
    1.14    /* ML */
    1.15  
    1.16    val ML_KEYWORD1 = "ML_keyword1"