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

Quick find search wrap #48

Open
variar opened this issue Feb 2, 2019 · 1 comment
Open

Quick find search wrap #48

variar opened this issue Feb 2, 2019 · 1 comment
Assignees
@variar
Labels
type: feature
Milestone
2025.next

Comments

@variar
Copy link
Owner

variar commented Feb 2, 2019

Moved part of #47 by @nocnokneo to separate issue

Next search occurrence should wrap (or at least have an option for it) with some sort of indication that the search has wrapped around the to beginning/end (maybe like Qt Creator does)
@variar variar added this to the 2019.next milestone Feb 2, 2019
@variar variar self-assigned this Feb 2, 2019
@variar
Copy link
Owner Author

variar commented Mar 16, 2019

nickbnf#258

@variar variar modified the milestones: 2023.09, 2024.next Jul 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@variar variar

Labels
type: feature
Projects
None yet
Milestone
2025.next
Development

No branches or pull requests
1 participant
@variar