src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Thu Dec 13 13:52:18 2012 +0100
+++ b/src/Pure/PIDE/markup.scala	Thu Dec 13 17:29:23 2012 +0100
@@ -264,8 +264,7 @@
 
   val message: String => String =
     Map(WRITELN -> WRITELN_MESSAGE, TRACING -> TRACING_MESSAGE,
-        WARNING -> WARNING_MESSAGE, ERROR -> ERROR_MESSAGE)
-      .withDefault((name: String) => name + "_message")
+        WARNING -> WARNING_MESSAGE, ERROR -> ERROR_MESSAGE).withDefault((s: String) => s)
 
   val Return_Code = new Properties.Int("return_code")