Niceee! Github has brought in the command pallet. This is awesome. I think majority of GUI software need to implement command pallet hopefully with the same uniform keyboard shortcut.
Software categories who should consider this imho: are
- browsers (similar to what Vivaldi has done)
- text editors and IDEs (e.g Kate)
- photo editors (e.g Krita)
- video editors
- file browsers
- chat applications (e.g Element, @dino)
- music players (e.g @nuclear, Amarok, Cantata)
- PDF editors (e.g Okular)
I think @gitea and ultimately @codeberg can also plan bringing the command pallet feature which is very useful and handy. Perhaps it would also help with the server load as users don't load multiple pages to navigate but rather use the command pallet to jump to repos and issues with a very minimal Ajax requests to the server.
Wish I knew how I could help though.
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!