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

QUESTION: About delete option for query history #772

Open
abhi-deshpande opened this issue May 10, 2024 · 0 comments
Open

QUESTION: About delete option for query history #772

abhi-deshpande opened this issue May 10, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@abhi-deshpande
Copy link

abhi-deshpande commented May 10, 2024 •
edited

Details:
Under the "Query History & Closed Tabs" section, there are two things - recently closed tabs and query history. Recently closed tabs can be deleted by right click > Delete or Delete Older, but older queries cannot be deleted. Is it intentional or has a number of items predefined to remain in history ?

Version Information [might be relevant to your issue]
Operating System: Windows 11
App Version [help -> about]: 5.2.8-beta.17

Screenshot [if appropriate]:
N/A
@janproch janproch added the enhancement New feature or request label May 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@janproch @abhi-deshpande