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

Improvements to filtering in Special:OreDictList #67

Open
2 tasks
retep998 opened this issue Sep 7, 2018 · 0 comments
Open
2 tasks

Improvements to filtering in Special:OreDictList #67

retep998 opened this issue Sep 7, 2018 · 0 comments
Assignees
@elifoster
Labels
enhancement special

Comments

@retep998
Copy link
Member

retep998 commented Sep 7, 2018

  • Replace Filter by prefix with Filter by item name which will do a regex search for entries matching that item name.

  • Modify Filter by tag so that it does a regex search instead of only looking for exact matches.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@elifoster elifoster

Labels
enhancement special
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@retep998 @elifoster