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

Add a command to navigate to the source of any command #3236

Open
tbpassin opened this issue Apr 2, 2023 · 3 comments
Open

Add a command to navigate to the source of any command #3236

tbpassin opened this issue Apr 2, 2023 · 3 comments
Milestone

Comments

@tbpassin
Copy link
Contributor

tbpassin commented Apr 2, 2023

Buttons added by the "Script Button" button have a context menu item to navigate to their defining script. This is very useful. I suggest that it would be equally useful to have a command that would navigate to the source of any minibuffer command. It would work much like the F11 command, but instead of displaying the command's docstring it would navigate to the actual script.

@tbpassin tbpassin added this to the 6.7.3 milestone Apr 2, 2023
@edreamleo edreamleo self-assigned this Apr 2, 2023
@edreamleo
Copy link
Member

@tbpassin Great idea.

@edreamleo
Copy link
Member

edreamleo commented Apr 4, 2023

@tbpassin Still a great idea, but doing it will be a bit clumsy. With @button nodes the user just right-clicks the button. But to find the source of any command the user must specify the command, presumably in the minibuffer, with typing completion.

So is the command worthwhile? Yes, because the command should search all the open .leo files, plus myLeoSettings.leo and leoSettings.leo.

@tbpassin
Copy link
Contributor Author

tbpassin commented Apr 4, 2023

I see it as working like the F11 command - you get tab completion to zero in on the right command.

I think the @button buttons can actually open the source outline, too (not 100% sure, but if they use the full UNL it would work that way).

@edreamleo edreamleo modified the milestones: 6.7.3, 6.7.4 Apr 9, 2023
@edreamleo edreamleo modified the milestones: 6.7.4, 6.7.3 Apr 18, 2023
@edreamleo edreamleo modified the milestones: 6.7.4, 6.7.5, Later Jun 13, 2023
@edreamleo edreamleo removed their assignment Jun 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants