1.1 --- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Sat Jan 14 15:44:44 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Sat Jan 14 16:12:09 2012 +0100
     1.3 @@ -61,7 +61,7 @@
     1.4                Text.Range(buffer_offset, buffer_offset + 1),
     1.5                Some(Set(Isabelle_Markup.ENTITY)),
     1.6                {
     1.7 -                // FIXME Protocol.Hyperlink extractor
     1.8 +                // FIXME Isabelle_Rendering.hyperlink
     1.9                  case Text.Info(info_range,
    1.10                      XML.Elem(Markup(Isabelle_Markup.ENTITY, props), _))
    1.11                    if (props.find(