diff -r 16fd39c9e31f -r 3c09adb4b042 src/Pure/PIDE/rendering.scala
--- a/src/Pure/PIDE/rendering.scala	Sun Dec 13 17:48:51 2020 +0100
+++ b/src/Pure/PIDE/rendering.scala	Sun Dec 13 19:04:46 2020 +0100
@@ -447,8 +447,8 @@
                 Some((Nil, Some(Rendering.Color.intensify)))
               case (_, Text.Info(_, XML.Elem(Markup(Markup.ENTITY, props), _))) =>
                 props match {
-                  case Markup.Entity.Def(i) if focus(i) => Some((Nil, Some(Rendering.Color.entity)))
-                  case Markup.Entity.Ref(i) if focus(i) => Some((Nil, Some(Rendering.Color.entity)))
+                  case Markup.Def(i) if focus(i) => Some((Nil, Some(Rendering.Color.entity)))
+                  case Markup.Ref(i) if focus(i) => Some((Nil, Some(Rendering.Color.entity)))
                   case _ => None
                 }
               case (_, Text.Info(_, XML.Elem(Markup.Markdown_Bullet(depth), _))) =>
@@ -509,8 +509,8 @@
           {
             case (focus, Text.Info(_, XML.Elem(Markup(Markup.ENTITY, props), _))) =>
               props match {
-                case Markup.Entity.Def(i) if check(true, i) => Some(focus + i)
-                case Markup.Entity.Ref(i) if check(false, i) => Some(focus + i)
+                case Markup.Def(i) if check(true, i) => Some(focus + i)
+                case Markup.Ref(i) if check(false, i) => Some(focus + i)
                 case _ => None
               }
             case _ => None
@@ -536,8 +536,8 @@
           {
             case (_, Text.Info(_, XML.Elem(Markup(Markup.ENTITY, props), _))) =>
               props match {
-                case Markup.Entity.Def(i) if focus(i) => Some(true)
-                case Markup.Entity.Ref(i) if focus(i) => Some(true)
+                case Markup.Def(i) if focus(i) => Some(true)
+                case Markup.Ref(i) if focus(i) => Some(true)
                 case _ => None
               }
           })