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.

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

[Feature Request] Filter symbols by kind for Leaderf tag #1014

Open
StarryLeo opened this issue Jun 30, 2023 · 0 comments
Open

[Feature Request] Filter symbols by kind for Leaderf tag #1014

StarryLeo opened this issue Jun 30, 2023 · 0 comments

Comments

@StarryLeo
Copy link

Describe your question, feature request, or bug.

When getting large results by Leaderf tag, add an option to filter symbols by kind would help the results be clearer.

Steps to reproduce

:Leaderf tag --input=biriscv_pipe_ctrl --popup

Actual behaviour

The following results contain at least 3 kinds of symbols(m, p, r):

Snipaste_2023-06-30_16-51-20

Expected behaviour

By adding option, like --kind,
:Leaderf tag --input=biriscv_pipe_ctrl --kind r --popup filter results by kind 'r'.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@StarryLeo