src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Fri Apr 11 23:26:31 2014 +0200
+++ b/src/Pure/PIDE/markup.scala	Sat Apr 12 17:46:54 2014 +0200
@@ -137,7 +137,9 @@
   val SEPARATOR = "separator"
 
 
-  /* hidden text */
+  /* text properties */
+
+  val WORDS = "words"
 
   val HIDDEN = "hidden"