Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/isabelle_hyperlinks.scala
changeset 46198 cd040c5772de
parent 46178 1c5c88f6feb5
child 46211 2616e68877c9 
--- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Thu Jan 12 21:21:22 2012 +0100
+++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Thu Jan 12 21:50:00 2012 +0100
@@ -92,7 +92,7 @@
                   }
               })
           markup match {
-            case Text.Info(_, Some(link)) #:: _ => link
+            case Text.Info(_, link) #:: _ => link
             case _ => null
           }
         case None => null
isabelle