src/Pure/PIDE/rendering.scala
changeset 65126 45ccb8ee3d08
parent 65124 759c64c39a6f
child 65129 06a7c2d316cf
     1.1 --- a/src/Pure/PIDE/rendering.scala	Mon Mar 06 11:39:41 2017 +0100
     1.2 +++ b/src/Pure/PIDE/rendering.scala	Mon Mar 06 11:45:46 2017 +0100
     1.3 @@ -42,7 +42,6 @@
     1.4      val message_underline = values -- background -- foreground
     1.5  
     1.6      // message background
     1.7 -
     1.8      val writeln_message = Value("writeln_message")
     1.9      val information_message = Value("information_message")
    1.10      val tracing_message = Value("tracing_message")