# HG changeset patch
# User wenzelm
# Date 1607897193 -3600
# Node ID 00399e5a6e50df7b8bec6e23a03302f9a82c4efd
# Parent  82570cae3cc2120b1bfc32875bb207b612ab02b5
proper argument --- amending 908d8be90533;

diff -r 82570cae3cc2 -r 00399e5a6e50 src/Pure/PIDE/rendering.scala
--- a/src/Pure/PIDE/rendering.scala	Sun Dec 13 22:54:27 2020 +0100
+++ b/src/Pure/PIDE/rendering.scala	Sun Dec 13 23:06:33 2020 +0100
@@ -436,7 +436,7 @@
     for {
       Text.Info(r, result) <-
         snapshot.cumulate[(List[Markup], Option[Rendering.Color.Value])](
-          range, (List(Markup.Empty), None), Rendering.background_elements,
+          range, (List(Markup.Empty), None), elements,
           command_states =>
             {
               case (((markups, color), Text.Info(_, XML.Elem(markup, _))))