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/rendering.scala
changeset 56208 06cc31dff138
parent 56202 0a11d17eeeff
child 56278 2576d3a40ed6 
--- a/src/Tools/jEdit/src/rendering.scala	Tue Mar 18 16:45:14 2014 +0100
+++ b/src/Tools/jEdit/src/rendering.scala	Tue Mar 18 17:39:03 2014 +0100
@@ -336,7 +336,7 @@
         {
           case (links, Text.Info(info_range, XML.Elem(Markup.Path(name), _)))
           if Path.is_valid(name) =>
-            val jedit_file = PIDE.thy_load.append(snapshot.node_name.master_dir, Path.explode(name))
+            val jedit_file = PIDE.resources.append(snapshot.node_name.master_dir, Path.explode(name))
             val link = PIDE.editor.hyperlink_file(jedit_file)
             Some(links :+ Text.Info(snapshot.convert(info_range), link))
 
@@ -470,7 +470,7 @@
             Some(add(prev, r, (true, XML.Text(txt1 + txt2))))
           case (prev, Text.Info(r, XML.Elem(Markup.Path(name), _)))
           if Path.is_valid(name) =>
-            val jedit_file = PIDE.thy_load.append(snapshot.node_name.master_dir, Path.explode(name))
+            val jedit_file = PIDE.resources.append(snapshot.node_name.master_dir, Path.explode(name))
             val text = "path " + quote(name) + "\nfile " + quote(jedit_file)
             Some(add(prev, r, (true, XML.Text(text))))
           case (prev, Text.Info(r, XML.Elem(Markup.Url(name), _))) =>
isabelle