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

Support pattern matching in the editor drop-down list #194

Open
vogella opened this issue Jul 5, 2022 · 0 comments
Open

Support pattern matching in the editor drop-down list #194

vogella opened this issue Jul 5, 2022 · 0 comments

Comments

@vogella
Copy link
Contributor

vogella commented Jul 5, 2022

Would be great to have pattern matching and highlighting and auto-insert from * in the editor drop-down also

image

@pbodnar maybe something for you too? It might be possible to reuse your work for open resource.
@vogella vogella changed the title Support pattern matching in Support pattern matching in the editor drop-down list Jul 5, 2022
mickaelistria pushed a commit to mickaelistria/eclipse.platform.ui that referenced this issue Oct 6, 2023
@carstenartur
Cover zero hit case (eclipse-platform#194)
14f2275
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
@vogella