--- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala Tue Aug 30 15:49:27 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala Tue Aug 30 16:04:26 2011 +0200
@@ -73,7 +73,7 @@
case _ if !snapshot.is_outdated =>
(props, props) match {
case (Position.Id(def_id), Position.Offset(def_offset)) =>
- snapshot.find_command(def_id) match {
+ snapshot.state.find_command(snapshot.version, def_id) match {
case Some((def_name, def_node, def_cmd)) =>
def_node.command_start(def_cmd) match {
case Some(def_cmd_start) =>