After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 709139 - change shell overlay keyboard shortcut
change shell overlay keyboard shortcut
Status: RESOLVED FIXED
Product: gnome-tweak-tool
Classification: Applications
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Tweak Tool maintainer(s)
GNOME Tweak Tool maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2013-09-30 21:56 UTC by John Stowers
Modified: 2017-06-06 23:54 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
change shell overlay keyboard shortcut (1.43 KB, patch)
2013-10-01 04:11 UTC, Alex Muñoz 		committed Details | Review

Description John Stowers 2013-09-30 21:56:33 UTC 
gsettings set org.gnome.mutter overlay-key 'Super_R'
Comment 1 Alex Muñoz 2013-10-01 04:11:43 UTC 
Created attachment 256153 [details] [review]
change shell overlay keyboard shortcut
Comment 2 John Stowers 2014-01-12 14:05:57 UTC 
Looks good. Please commit once updated against master!
Comment 3 Jeremy Bicha 2017-06-06 23:54:04 UTC 
This patch was pushed over 3 years ago.