Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

\ref dropdown shows commented labels #1189

Open
samubura opened this issue Feb 14, 2024 · 1 comment
Open

\ref dropdown shows commented labels #1189

samubura opened this issue Feb 14, 2024 · 1 comment

Comments

@samubura
Copy link

Steps to Reproduce

  1. Add a \label{test} to a section
  2. Comment out the line where the label was added inserted
  3. Type \ref to open the dropdown menu and select a label from the ones available

Expected Behaviour

The dropdown menu should show only options that are actually in the text and not commented out.

Observed Behaviour

The dropdown menu shows all the labels, including the ones that are commented.

Context

This seems like a small quality-of-life feature useful when managing long and complex documents.
In my situation, I was managing two versions of the same document and to not lose old text I copied it to another file and commented it out, thinking this would stop showing me the old labels. Changing the extension to .txt did not help either.

@Musicminion
Copy link

Musicminion commented May 8, 2024

I tested it and it is indeed like this.

image

Maybe you can send this to support@overleaf.com? They may deliver it to their dev team.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants