src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Sat Feb 22 18:07:31 2014 +0100
+++ b/src/Pure/PIDE/markup.scala	Sat Feb 22 20:52:43 2014 +0100
@@ -67,6 +67,11 @@
   }
 
 
+  /* completion */
+
+  val COMPLETION = "completion"
+
+
   /* position */
 
   val LINE = "line"