[Feature Request] Jump from `\ref{...}` to `\label{...}`

[IgnacioHeredia]

Disclaimer

Please make sure all the items below is checked (i.e., prefixed with "- [x]")

• The request feature has not been addressed in the feature request list.
• The design of the feature does not require detailed discussion, or existing discussion with drawn conclusion can be found in Discussions Area at: [paste the link here]

Motivation

Please give strong enough reason(s) why the feature is demanded.

• I think it's a useful feature that draws on to the muscle memory of VScode users

Feature Description

A clear and concise description of what you want to happen under what circumstance.

I think it would be nice to me able to Ctrl + Left-click a \ref{...} to jump to the corresponding referenced \label{...}. Just like in a code file, one is able to jump to the function definition by doing the same.

Screencast.2025-04-26.12.09.43.mp4

Anyway, not super important, just a small quality of life feature. Many thanks for the extension!

[iamhyc]

The function is now done by copilot. Please check the temporary extension here:
https://github.com/overleaf-workshop/Overleaf-Workshop/actions/runs/23054198671?pr=344