Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Adhere to Mac platform when showing shortcuts on a Mac #9429
This fixes #9226.
This changes the display of keyboard shortcuts on the Mac to:
The larger discussion for why we're doing this is in the ticket referenced, but the gist of it is: this is what MacOS does, and we mean to tap into that same pattern that Mac users will be used to.
Backspace has a symbol used for it in macOS: "⌫".
Actually, I use KDE Plasma, not GNOME. But the desktop environment is irrelevant. The shortcut actually shuts down (or in some cases reboots) the X Window System display server, which is currently the most common display server used in Linux distros. Some distros (like Ubuntu) disable the shortcut, but not Arch Linux or Antergos (the Arch-based distro I use), apparently.
I say we should add the Backspace shortcut too, but as-is that's cool, go for it