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

keyboard: simple local keyboard history #2119

Open
pokey opened this issue Dec 11, 2023 · 0 comments
Open

keyboard: simple local keyboard history #2119

pokey opened this issue Dec 11, 2023 · 0 comments
Labels

Comments

@pokey
Copy link
Member

pokey commented Dec 11, 2023

We'd like to add keyboard history along the lines of #2115. I think we'd just store a list of the tokens that come into the keyboard parser, with some basic anonymization. That way we could use it to do things like optimize key mappings using a huffman encoding

@pokey pokey added the keyboard label Dec 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant