src/Pure/PIDE/markup.scala
changeset 55672 5e25cc741ab9
parent 55666 cc350eb1087e
child 55687 78c83cd477c1
     1.1 --- a/src/Pure/PIDE/markup.scala	Sat Feb 22 18:07:31 2014 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Sat Feb 22 20:52:43 2014 +0100
     1.3 @@ -67,6 +67,11 @@
     1.4    }
     1.5  
     1.6  
     1.7 +  /* completion */
     1.8 +
     1.9 +  val COMPLETION = "completion"
    1.10 +
    1.11 +
    1.12    /* position */
    1.13  
    1.14    val LINE = "line"