src/Tools/jEdit/src/isabelle_hyperlinks.scala
changeset 43606 e1a09c2a6248
parent 43282 5d294220ca43
child 43661 39fdbd814c7f
     1.1 --- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Thu Jun 30 14:51:32 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Thu Jun 30 14:55:01 2011 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4    extends AbstractHyperlink(start, end, line, "")
     1.5  {
     1.6    override def click(view: View) = {
     1.7 -    Isabelle.system.source_file(def_file) match {
     1.8 +    Isabelle.system.source_file(Path.explode(def_file)) match {
     1.9        case None =>
    1.10          Library.error_dialog(view, "File not found", "Could not find source file " + def_file)
    1.11        case Some(file) =>