src/Tools/jEdit/src/jedit_rendering.scala

       Text.Info(r, result) <-
         snapshot.cumulate[(List[Markup], Option[Color])](
           range, (List(Markup.Empty), None), JEdit_Rendering.background_elements,
           command_states =>
             {
-              case (((status, color), Text.Info(_, XML.Elem(markup, _))))
-              if status.nonEmpty && Protocol.proper_status_elements(markup.name) =>
-                Some((markup :: status, color))
+              case (((markups, color), Text.Info(_, XML.Elem(markup, _))))
+              if markups.nonEmpty && Protocol.proper_status_elements(markup.name) =>
+                Some((markup :: markups, color))
               case (_, Text.Info(_, XML.Elem(Markup(Markup.BAD, _), _))) =>
                 Some((Nil, Some(bad_color)))
               case (_, Text.Info(_, XML.Elem(Markup(Markup.INTENSIFY, _), _))) =>
                 Some((Nil, Some(intensify_color)))
               case (_, Text.Info(_, XML.Elem(Markup(Markup.ENTITY, props), _))) =>