--- a/src/Pure/PIDE/markup.scala Wed Mar 05 09:59:48 2014 +0100 +++ b/src/Pure/PIDE/markup.scala Wed Mar 05 13:11:08 2014 +0100 @@ -70,6 +70,7 @@ /* completion */ val COMPLETION = "completion" + val NO_COMPLETION = "no_completion" /* position */