You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Let's provide a command to open standard goto-anything menu if nothing is selected. This would make it possible to seamlessly replace the standard menu with the one provided by this package. (It should probably not be bound to any hotkey by default, just documented as existing.)
It can be trivially implemented using something like below, but such copy-pasting looks like an ugly solution, and my Python is too rusty for something prettier.
Let's provide a command to open standard goto-anything menu if nothing is selected. This would make it possible to seamlessly replace the standard menu with the one provided by this package. (It should probably not be bound to any hotkey by default, just documented as existing.)
It can be trivially implemented using something like below, but such copy-pasting looks like an ugly solution, and my Python is too rusty for something prettier.
(Note that this is using the hack I proposed in pull request #2.)
The text was updated successfully, but these errors were encountered: