Skip to content

Add history to args quick input #68

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
Open
andreamah opened this issue Jul 25, 2023 · 0 comments
Open

Add history to args quick input #68

andreamah opened this issue Jul 25, 2023 · 0 comments
Assignees
@karthiknadig
Labels
feature-request Request for new features or functionality

Comments

@andreamah
Copy link

Testing #64

image

It'd be really cool to see this have input history, sort of like the search widget.

image

That way, people can re-run with args easier.
@github-actions github-actions bot added the triage-needed Needs assignment to the proper sub-team label Jul 25, 2023
@paulacamargo25 paulacamargo25 added feature-request Request for new features or functionality and removed triage-needed Needs assignment to the proper sub-team labels Jul 25, 2023
@paulacamargo25 paulacamargo25 added this to the August 2024 milestone Jul 24, 2024
@karthiknadig karthiknadig removed this from the August 2024 milestone Aug 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@karthiknadig karthiknadig

Labels
feature-request Request for new features or functionality
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@karthiknadig @paulacamargo25 @andreamah