Please record search history

[idadoudou]

I hope the search history can be recorded. Then I can browse what I have searched, how I have searched, and what I next do to refine my search. Thank you.

Is your suggestion for improvement related to a problem? Please describe.
A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

Describe the solution you'd like
A clear and concise description of what you want to happen.

Additional context
Add any other context or screenshots about the feature request here.

[Siedlerchr]

Possible solution for implementation:

1. Store the search history in a list (or maybe better a LinkedHashSet to avoid duplicates but keep the insertion order) whenever the search term changes/differs (empty ones need to be not stored)

• Optionally, limit it to the last 10 searches

2. Adjust the right click menu, add a new entry "Search from history.... " and then show the last searches (Similar to showing the last opened libraries)

3. When the users choses the last search, set the text field search term to the one from the history

[idadoudou]

Please use ***@***.*** due that it is difficult to login qq email.

[idadoudou]

Please use ***@***.*** due that it is difficult to login qq email.

[Siedlerchr]

@idadoudou You can change the email in your github user account preferences