src/Tools/jEdit/src/rendering.scala
changeset 60876 52edced9cce5
parent 60874 7865e03a7fc1
child 60878 1f0d2bbcf38b
     1.1 --- a/src/Tools/jEdit/src/rendering.scala	Mon Aug 10 14:14:49 2015 +0200
     1.2 +++ b/src/Tools/jEdit/src/rendering.scala	Mon Aug 10 16:05:41 2015 +0200
     1.3 @@ -202,7 +202,7 @@
     1.4        Markup.STATE_MESSAGE + Markup.INFORMATION_MESSAGE +
     1.5        Markup.TRACING_MESSAGE + Markup.WARNING_MESSAGE +
     1.6        Markup.LEGACY_MESSAGE + Markup.ERROR_MESSAGE +
     1.7 -      Markup.BAD + Markup.INTENSIFY ++ active_elements
     1.8 +      Markup.BAD + Markup.INTENSIFY + Markup.ML_BREAKPOINT ++ active_elements
     1.9  
    1.10    private val foreground_elements =
    1.11      Markup.Elements(Markup.STRING, Markup.ALT_STRING, Markup.VERBATIM,
    1.12 @@ -247,6 +247,8 @@
    1.13    val spell_checker_color = color_value("spell_checker_color")
    1.14    val bad_color = color_value("bad_color")
    1.15    val intensify_color = color_value("intensify_color")
    1.16 +  val breakpoint_color = color_value("breakpoint_color")
    1.17 +  val breakpoint_active_color = color_value("breakpoint_active_color")
    1.18    val quoted_color = color_value("quoted_color")
    1.19    val antiquoted_color = color_value("antiquoted_color")
    1.20    val antiquote_color = color_value("antiquote_color")
    1.21 @@ -655,6 +657,10 @@
    1.22                    Some((Nil, Some(bad_color)))
    1.23                  case (_, Text.Info(_, XML.Elem(Markup(Markup.INTENSIFY, _), _))) =>
    1.24                    Some((Nil, Some(intensify_color)))
    1.25 +                case (_, Text.Info(_,
    1.26 +                    XML.Elem(Markup(Markup.ML_BREAKPOINT, Markup.Serial(serial)), _))) =>
    1.27 +                  Debugger.breakpoint_active(serial).map(active =>
    1.28 +                    (Nil, Some(if (active) breakpoint_active_color else breakpoint_color)))
    1.29                  case (acc, Text.Info(_, Protocol.Dialog(_, serial, result))) =>
    1.30                    command_states.collectFirst(
    1.31                      { case st if st.results.defined(serial) => st.results.get(serial).get }) match