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.

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

History: Keep only unique entries #272

Closed
3 tasks done
ManDay opened this issue Jun 16, 2023 · 0 comments
Closed
3 tasks done

History: Keep only unique entries #272

ManDay opened this issue Jun 16, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@ManDay
Copy link

ManDay commented Jun 16, 2023

Describe your suggested feature

Recalling an entry from history will also add it back to the history again. I think in most cases, that's not needed and only clutters history with duplicates. If the implementation is not to tedious, it would be nice if this were prevented. Recalled translations could be moved to the top of the history stack, instead.

Other details

For simplicity, maybe this uniqueness could be limited to recalled entries from history, rather than checked (by iterating through history and comparing each entry) for every entry.

Acknowledgements

  • I have searched the existing issues and this is a new ticket, NOT a duplicate or related to another open issue.
  • I have written a short but informative title.
  • I will fill out all of the requested information in this form.
@ManDay ManDay added the enhancement New feature or request label Jun 16, 2023
@Bnyro Bnyro closed this as completed in 8173344 Jun 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant