# HG changeset patch
# User wenzelm
# Date 1488797146 -3600
# Node ID 45ccb8ee3d0833c927443991dbd84033c6e4a478
# Parent  bdd58b74c4a453f21f8c48ac967b23612d85cdcd
tuned whitespace;

diff -r bdd58b74c4a4 -r 45ccb8ee3d08 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")