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

Add option that allows toggling case-sensitive/insensitive search #270

Open
korydraughn opened this issue Aug 30, 2021 · 0 comments
Open

Add option that allows toggling case-sensitive/insensitive search #270

korydraughn opened this issue Aug 30, 2021 · 0 comments
Assignees
@korydraughn
Labels
enhancement
Milestone
3.1.0

Comments

@korydraughn
Copy link
Contributor

No description provided.

@korydraughn korydraughn added this to the 2.6.0 milestone Aug 30, 2021
@korydraughn korydraughn mentioned this issue Aug 30, 2021
Merged
@trel trel modified the milestones: 2.6.0, 3.0.0 Apr 12, 2022
@korydraughn korydraughn self-assigned this Sep 9, 2022
@trel trel modified the milestones: 3.0.0, 3.1.0 Dec 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@korydraughn korydraughn

Labels
enhancement
Milestone
3.1.0
Development

No branches or pull requests
2 participants
@trel @korydraughn