src/Tools/jEdit/src/isabelle_hyperlinks.scala
changeset 43661 39fdbd814c7f
parent 43606 e1a09c2a6248
child 44580 3bc9a215a56d
     1.1 --- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Mon Jul 04 20:18:19 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Mon Jul 04 22:11:32 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(Path.explode(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) =>