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

Search does not loop #32

Closed
LeifAndersen opened this issue Aug 29, 2015 · 3 comments
Closed

Search does not loop #32

LeifAndersen opened this issue Aug 29, 2015 · 3 comments

Comments

@LeifAndersen
Copy link
Collaborator

When doing a search (via hitting /), I can hit n to go to the next result, however, when I reach the bottom most result in the file, it does not loop around to the first result in the file.
@LeifAndersen
Copy link
Collaborator Author

Also, I can't hit N to search backwards.

@takikawa
Copy link
Owner

Yeah N is hard with the API DrRacket provides. Potentially possible using the get-search-bubbles function. Looping should be doable.

@takikawa
Copy link
Owner

takikawa commented Mar 2, 2016

Fixed by 5ddfa8e

I will open backwards search as a separate issue.

@takikawa takikawa closed this as completed Mar 2, 2016
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
2 participants
@takikawa @LeifAndersen