src/Tools/jEdit/src/jedit_editor.scala

   }
 
   def hyperlink_command_id(
     snapshot: Document.Snapshot,
     id: Document_ID.Generic,
-    offset: Symbol.Offset): Option[Hyperlink] =
+    offset: Symbol.Offset = 0): Option[Hyperlink] =
   {
     snapshot.state.find_command(snapshot.version, id) match {
       case Some((node, command)) => hyperlink_command(snapshot, command, offset)
       case None => None
     }