src/Tools/jEdit/src/jedit/TheoryView.scala

       for (node <- e.root_node.dfs) {
         val begin = to_current(node.abs_start(document))
         val finish = to_current(node.abs_stop(document))
         if (finish > start && begin < end) {
           encolor(gfx, y + metrics.getHeight - 2, 1, begin max start, finish min end - 1,
-            DynamicTokenMarker.choose_color(node.kind, text_area.getPainter.getStyles), true)
+            DynamicTokenMarker.choose_color(node.desc, text_area.getPainter.getStyles), true)
         }
       }
     }
 
     gfx.setColor(saved_color)