--- a/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala Wed Jul 08 15:15:13 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala Wed Jul 08 15:15:15 2009 +0200
@@ -52,8 +52,9 @@
val document = theory_view.current_document()
val offset = theory_view.from_current(document, original_offset)
val cmd = document.find_command_at(offset)
+ val state = document.states(cmd)
if (cmd != null) {
- val ref_o = cmd.ref_at(offset - cmd.start(document))
+ val ref_o = cmd.ref_at(document, offset - cmd.start(document))
if (!ref_o.isDefined) null
else {
val ref = ref_o.get