search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
159 stars 26 forks source link

Support Enter as keyboard shortcut for Next #170

Open danielzgtg opened 7 months ago

danielzgtg commented 7 months ago

I would like this quality-of-life enhancement to be added to lean4game to follow other apps like Duolingo, Memrise, and Anki. Currently lean4game only supports the enter key when submitting an answer. I would like us to import the behaviour where the Enter key also presses the "Next" button to move to the next level after getting the answer correct. Having to move the cursor is especially annoying on touchpad.

joneugster commented 7 months ago

I agree, better mouse-free navigation through the game would be very welcome!