proper hyperlink column (amending 6898054035d6);

--- a/src/Tools/jEdit/src/jedit_editor.scala	Fri Apr 04 16:35:05 2025 +0200
+++ b/src/Tools/jEdit/src/jedit_editor.scala	Fri Apr 04 17:31:05 2025 +0200
@@ -238,7 +238,7 @@
     if (snapshot.is_outdated) None
     else {
       snapshot.find_command_position(id, offset)
-        .map(pos => hyperlink_file(focus, pos.name, line = pos.line))
+        .map(pos => hyperlink_file(focus, pos.name, line = pos.line, offset = pos.column))
     }
   }