Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

add language history #75

Closed
3 tasks done
aleksoybin opened this issue Nov 9, 2022 · 2 comments
Closed
3 tasks done

add language history #75

aleksoybin opened this issue Nov 9, 2022 · 2 comments
Labels
enhancement New feature or request

Comments

@aleksoybin
Copy link

Describe your suggested feature

in addition to my previous feature request, a language history in the same menu with a thin line separating the maybe 5 recent languages and the full language list would make the user experience a lot better, in my opinion

Other details

No response

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.
@aleksoybin aleksoybin added the enhancement New feature or request label Nov 9, 2022
@aleksoybin
Copy link
Author

or maybe a pinned languages list would be better, or maybe both, with a history box between the proposed search bar and a pinned languages list :p

@Bnyro Bnyro closed this as completed in 20b83de Nov 21, 2022
@Bnyro
Copy link
Member

Bnyro commented Nov 21, 2022

I've added the ability to bookmark languages now, a history of recently used languages shouldn't be needed anymore as you usually use only 5 languages at maximum and thus the history and the bookmarked languages would be pretty similar then.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants