src/Pure/PIDE/rendering.scala

--- a/src/Pure/PIDE/rendering.scala	Mon Mar 06 11:39:41 2017 +0100
+++ b/src/Pure/PIDE/rendering.scala	Mon Mar 06 11:45:46 2017 +0100
@@ -42,7 +42,6 @@
     val message_underline = values -- background -- foreground
 
     // message background
-
     val writeln_message = Value("writeln_message")
     val information_message = Value("information_message")
     val tracing_message = Value("tracing_message")