Rank, 14 days: 24 on the Codex sheet
24 people asked for
All time, since Sep 27, including 23 thumbs-up on GitHub.
Rebind mini and pets shortcut
“It conflicts with my settings and there's nowhere to set it.”
What gets counted gets built. Pile on.
Paste this into your agent. It files your request, with what you need it for.
I want this: rapsheet.dev/sheets/codex/issues/15304/file Follow it to file my request. Show me the text before you send.
No install. No account. Public and anonymous. The link asks your agent for one report, nothing else. What it sends
Change the keyboard shortcut for mini and pets. The app uses ⌥+␣ as the shortcut for mini/pet; it conflicts with user settings and there's nowhere to set it.
Is this your request?
File my request- Where
- Keyboard Shortcuts
- Versions
- 26.924.22138
- Platforms
- macOS
Original reports1, newest first
- Add keyboard shortcut option to show/hide mini & petsOn GitHub#48633