-
-
Notifications
You must be signed in to change notification settings - Fork 21.4k
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
Editor: Split "Lookup Symbol" and "Go to Definition" functionality #100692
base: master
Are you sure you want to change the base?
Editor: Split "Lookup Symbol" and "Go to Definition" functionality #100692
Conversation
I’m not a fan of this proposal simply because I use both of these functionalities a LOT when I code, and a) having to hold two modifiers when clicking is cumbersome, and b) having to think which of these I need to press. |
It's okay, it's just a draft, I'm happy to hear other opinions and find a better solution.
Another suggestions:
I'm afraid that in the future you'll have to think about what you want to get. Previously, the same combination is used for opening the built-in help for native symbols and jumping to the source location for custom symbols. But we could also 1. open the documentation for custom symbols (this is especially useful for addons) and 2. search the source location on GitHub for native symbols. As for modifiers, I think maybe we should change the order. Given that there are now tooltips for documentation, perhaps Ctrl+LMB should be used to jump to the definition, and the alternative combination (whichever we choose) should be used to open the documentation. |
Exactly what I think it would be the best to implement from now on. Tooltips remove the need to jump to the documentation. |
Thanks for sharing your considerations @dalexeev! What about:
Note that when we talk about Ctrl here, that it's actually Cmd here on macOS :) |
I like the change but only when I'm interacting with code that has finished documentation or is more mature. Maybe by default ctl-click goes to the code, unless there is a comment like |
I'd avoid Alt+LMB since that's used to add an additional caret |
Just make the shortcuts customizable and we are good to go. Each user would then configure the software to their taste. |
I'm not sure which option is better from a user experience perspective, for now I've used the easiest to implement option (since Ctrl+LMB is hardcoded into
CodeEdit
):It would also be nice to merge #95821 first so that the behavior is deterministic. And optionally add a GitHub search for native symbols.