src/Tools/jEdit/src/isabelle_hyperlinks.scala
changeset 44582 479c07072992
parent 44580 3bc9a215a56d
child 44607 274eff0ea12e
     1.1 --- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Tue Aug 30 15:49:27 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Tue Aug 30 16:04:26 2011 +0200
     1.3 @@ -73,7 +73,7 @@
     1.4                    case _ if !snapshot.is_outdated =>
     1.5                      (props, props) match {
     1.6                        case (Position.Id(def_id), Position.Offset(def_offset)) =>
     1.7 -                        snapshot.find_command(def_id) match {
     1.8 +                        snapshot.state.find_command(snapshot.version, def_id) match {
     1.9                            case Some((def_name, def_node, def_cmd)) =>
    1.10                              def_node.command_start(def_cmd) match {
    1.11                                case Some(def_cmd_start) =>