--- a/src/Tools/jEdit/src/isabelle_rendering.scala Tue Sep 18 17:20:40 2012 +0200
+++ b/src/Tools/jEdit/src/isabelle_rendering.scala Tue Sep 18 19:33:45 2012 +0200
@@ -206,7 +206,7 @@
case _ => false }).isEmpty) =>
props match {
- case Position.Line_File(line, name) if Path.is_ok(name) =>
+ case Position.Def_Line_File(line, name) if Path.is_ok(name) =>
Isabelle_System.source_file(Path.explode(name)) match {
case Some(path) =>
val jedit_file = Isabelle_System.platform_path(path)
@@ -214,7 +214,7 @@
case None => links
}
- case Position.Id_Offset(id, offset) if !snapshot.is_outdated =>
+ case Position.Def_Id_Offset(id, offset) =>
snapshot.state.find_command(snapshot.version, id) match {
case Some((node, command)) =>
val sources =