tuned comment;
authorwenzelm
Sat Jan 14 16:12:09 2012 +0100 (2012-01-14)
changeset 462112616e68877c9
parent 46210 553ec602d337
child 46212 d86ef6b96097
tuned comment;
src/Tools/jEdit/src/isabelle_hyperlinks.scala
     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(