Well, there is
I'm slightly worried that users already got used to "goto definition" keybinding to behave like ctrl+click and if we modify it now, it will break user's expectations. We could introduce
behaving like ctrl+click but that will probably have to be assigned a different default keybinding so users will have to learn something new again. I'm not really sure how to solve this and if we should do something about it.
there is no point in having three actions all doing the same thing.
But one is mouse-oriented and the other keyboard-oriented. And only two do the same thing:
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.