Comment on Microsoft is adding a new key to PC keyboards for the first time since 1994
sir_reginald@lemmy.world 1 year agoIt sounds like a good feature to assign a certain key to an option in GRUB. Maybe GRUB has this feature already, it has been a while since I’ve looked into it’s config options.
No need for a dedicated key in the physical keyboard tho, just let the user choose, Alt or Space are good options.
jasondj@ttrpg.network 1 year ago
How many people has the context key on their keyboard? Or scroll lock? Or F6-F9 and F11?
Plenty of other options out there. Even keyboard-centric people rarely use those keys unless they have an app that explicitly uses it.