src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Sun Dec 13 17:48:51 2020 +0100
+++ b/src/Pure/PIDE/markup.scala	Sun Dec 13 19:04:46 2020 +0100
@@ -104,11 +104,11 @@
   val BINDING = "binding"
   val ENTITY = "entity"
 
+  val Def = new Properties.Long("def")
+  val Ref = new Properties.Long("ref")
+
   object Entity
   {
-    val Def = new Properties.Long("def")
-    val Ref = new Properties.Long("ref")
-
     def unapply(markup: Markup): Option[(String, String)] =
       markup match {
         case Markup(ENTITY, props) =>