What do people think on supporting keyboard shortcuts for things around the app? Any use cases? Asking because a user opened a PR that introduces this feature: https://github.com/All-Hands-AI/OpenHands/pull/10165

In general I’m pro keyboard shortcut (although they have some caveats)

I am too, and there are libraries like cmdk that make this easier. Though if it's something we're interested in, we can start with exploring what shortcut options we want to make available to the user

1. Probably need to explicitly show legend/recap which shortcut triggers what. 2. In this PR, shortcuts are really working/not working based on which page you are. That might make sense for some things (specific conversation shortcuts) but if we ever want to introduce shortcuts which tackle more than a single conversation, something different may be needed. 3. To expand on number 2, as I user I might be frustrated if some shortcus is working on page A and not working on page B even though it may not make sense to work it on page B. I guess it really depends on the context.

Ahh. Interesting. The original slack discussion was about Ctrl+R shortcut like Claude Code, in other words in CLI

I'm for it, I mocked up an example in one of my previous demos.