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.

Sign up for GitHub

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

Jump to bottom

Symbol renaming #26

Open

harryherold opened this issue Apr 6, 2018 · 2 comments

harryherold commented Apr 6, 2018

When I select a variable and use (F2) nothing happens.
I get no Error and the symbol will not be renamed.
Did I missed a configuration?

bdeeming commented Apr 6, 2018

+1 I noticed this the other day also

Contributor

Yanpas commented Jun 20, 2018

Frequently happens to me too, especially when you select the text of a variable

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment