src/Tools/jEdit/src/isabelle_hyperlinks.scala

--- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Sat Nov 12 18:56:49 2011 +0100
+++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Sat Nov 12 19:44:56 2011 +0100
@@ -89,7 +89,8 @@
                         }
                       case _ => null
                     }
-                }))
+                },
+                Some(Set(Markup.ENTITY))))
           markup match {
             case Text.Info(_, Some(link)) #:: _ => link
             case _ => null