src/Pure/PIDE/rendering.scala

     Markup.ML_STRING -> Color.inner_quoted,
     Markup.ML_COMMENT -> Color.inner_comment,
     Markup.SML_STRING -> Color.inner_quoted,
     Markup.SML_COMMENT -> Color.inner_comment)
 
+  val foreground =
+    Map(
+      Markup.STRING -> Color.quoted,
+      Markup.ALT_STRING -> Color.quoted,
+      Markup.VERBATIM -> Color.quoted,
+      Markup.CARTOUCHE -> Color.quoted,
+      Markup.ANTIQUOTED -> Color.antiquoted)
+
 
   /* tooltips */
 
   val tooltip_descriptions =
     Map(

       Markup.TRACING_MESSAGE + Markup.WARNING_MESSAGE +
       Markup.LEGACY_MESSAGE + Markup.ERROR_MESSAGE +
       Markup.BAD + Markup.INTENSIFY + Markup.ENTITY +
       Markup.Markdown_Item.name ++ active_elements
 
-  val foreground_elements =
-    Markup.Elements(Markup.STRING, Markup.ALT_STRING, Markup.VERBATIM,
-      Markup.CARTOUCHE, Markup.ANTIQUOTED)
+  val foreground_elements = Markup.Elements(foreground.keySet)
+
+  val text_color_elements = Markup.Elements(text_color.keySet)
 
   val tooltip_elements =
     Markup.Elements(Markup.LANGUAGE, Markup.EXPRESSION, Markup.TIMING, Markup.ENTITY,
       Markup.SORTING, Markup.TYPING, Markup.CLASS_PARAMETER, Markup.ML_TYPING,
       Markup.ML_BREAKPOINT, Markup.PATH, Markup.DOC, Markup.URL, Markup.MARKDOWN_PARAGRAPH,

   val tooltip_message_elements =
     Markup.Elements(Markup.WRITELN, Markup.INFORMATION, Markup.WARNING, Markup.LEGACY, Markup.ERROR,
       Markup.BAD)
 
   val caret_focus_elements = Markup.Elements(Markup.ENTITY)
-
-  val text_color_elements = Markup.Elements(text_color.keySet)
 }
 
 abstract class Rendering(
   val snapshot: Document.Snapshot,
   val options: Options,

   /* text foreground */
 
   def foreground(range: Text.Range): List[Text.Info[Rendering.Color.Value]] =
     snapshot.select(range, Rendering.foreground_elements, _ =>
       {
-        case Text.Info(_, elem) =>
-          if (elem.name == Markup.ANTIQUOTED) Some(Rendering.Color.antiquoted)
-          else Some(Rendering.Color.quoted)
+        case info => Some(Rendering.foreground(info.info.name))
       })
 
 
   /* caret focus */