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

Ctrl-r to switch search modes #118

Closed
ellie opened this issue May 12, 2021 · 1 comment
Closed

Ctrl-r to switch search modes #118

ellie opened this issue May 12, 2021 · 1 comment

Comments

@ellie
Copy link
Member

ellie commented May 12, 2021

When in the search UI, a user should be able to press Ctrl-r to switch search modes

These three modes should be:

  • global
  • directory
  • session

where global searches all shell history, directory searches for all history in the current directory, and session searches for all history in the current session
@ellie ellie changed the title <kbd>Ctrl-r</kbd> to switch search modes Ctrl-r to switch search modes May 12, 2021
This was referenced May 12, 2021
Closed
Closed
Closed
@Leksat Leksat mentioned this issue Jun 2, 2021
Closed
@ellie
Copy link
Member Author

ellie commented Apr 22, 2022

Resolved by #329

@ellie ellie closed this as completed Apr 22, 2022
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
@ellie