cursorless
cursorless copied to clipboard
keyboard: simple local keyboard history
We'd like to add keyboard history along the lines of https://github.com/cursorless-dev/cursorless/pull/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