src/Tools/jEdit/src/isabelle_hyperlinks.scala
changeset 46198 cd040c5772de
parent 46178 1c5c88f6feb5
child 46211 2616e68877c9
     1.1 --- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Thu Jan 12 21:21:22 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Thu Jan 12 21:50:00 2012 +0100
     1.3 @@ -92,7 +92,7 @@
     1.4                    }
     1.5                })
     1.6            markup match {
     1.7 -            case Text.Info(_, Some(link)) #:: _ => link
     1.8 +            case Text.Info(_, link) #:: _ => link
     1.9              case _ => null
    1.10            }
    1.11          case None => null