Goal

• Currently, the Super key is used by Mutter to trigger the overview, in addition to the regular overview key used in GNOME Settings.
  • The Super key is configurable in GNOME Tweaks, or with the "org.gnome.mutter.overlay-key" dconf setting.
  • However, neither of these are accessible means to configure the overlay key, especially for disabling it.
• As such, the Mutter overview key configuration should be accessible via the GNOME Settings panel.

Acceptance Criteria

• Verify that the Mutter overview key configuration setting exists in the GNOME Settings application.
• Verify that the setting can be used to switch the key used by Mutter to trigger the overview, or to disable it.
• Verify that the GNOME Settings configuration is reflected in realtime through testing and interrogation of the "org.gnome.mutter.overlay-key" dconf setting.