Settings does not display or allow to change the Super key
Contrary to what the documentation says, the Super key is not displayed, and therefore, cannot be changed or verify which key is affected to the Activities overview.
Steps to reproduce:
- Open GNOME Settings
- Select
Settings
- Select
Keyboard
- Select
View and Customize Shortcuts
- Select
System
- Notice how
Activites Overview
is missing
(even using the search feature does not return a result for Super
only)
Even if some might want to have this value as immutable, displaying it somewhere could be helpful when a user has a defective Super
key. (It actually happened to me on several occasions on Linux newcomers' machines I was taking a look at).