src/Pure/PIDE/rendering.scala
changeset 65124 759c64c39a6f
parent 65121 12c6774a8f65
child 65126 45ccb8ee3d08
     1.1 --- a/src/Pure/PIDE/rendering.scala	Sun Mar 05 22:38:19 2017 +0100
     1.2 +++ b/src/Pure/PIDE/rendering.scala	Mon Mar 06 11:38:06 2017 +0100
     1.3 @@ -33,13 +33,23 @@
     1.4      val antiquoted = Value("antiquoted")
     1.5      val foreground = values -- background
     1.6  
     1.7 -    // underline
     1.8 +    // message underline
     1.9      val writeln = Value("writeln")
    1.10      val information = Value("information")
    1.11      val warning = Value("warning")
    1.12      val legacy = Value("legacy")
    1.13      val error = Value("error")
    1.14 -    val underline = values -- background -- foreground
    1.15 +    val message_underline = values -- background -- foreground
    1.16 +
    1.17 +    // message background
    1.18 +
    1.19 +    val writeln_message = Value("writeln_message")
    1.20 +    val information_message = Value("information_message")
    1.21 +    val tracing_message = Value("tracing_message")
    1.22 +    val warning_message = Value("warning_message")
    1.23 +    val legacy_message = Value("legacy_message")
    1.24 +    val error_message = Value("error_message")
    1.25 +    val message_background = values -- background -- foreground -- message_underline
    1.26    }
    1.27  
    1.28  
    1.29 @@ -76,6 +86,14 @@
    1.30      legacy_pri -> Color.legacy,
    1.31      error_pri -> Color.error)
    1.32  
    1.33 +  val message_background_color = Map(
    1.34 +    writeln_pri -> Color.writeln_message,
    1.35 +    information_pri -> Color.information_message,
    1.36 +    tracing_pri -> Color.tracing_message,
    1.37 +    warning_pri -> Color.warning_message,
    1.38 +    legacy_pri -> Color.legacy_message,
    1.39 +    error_pri -> Color.error_message)
    1.40 +
    1.41  
    1.42    /* markup elements */
    1.43