GNOME Bugzilla – Bug 689447
media-keys: Add default shortcuts for the magnifier
Last modified: 2012-12-01 19:13:08 UTC
Doesn't work in GNOME 3.6 though, because mutter/gnome-shell is handling the Super key.
Created attachment 230398 [details] [review] media-keys: Add default shortcuts for the magnifier
Created attachment 230399 [details] [review] media-keys: Add default shortcuts for the magnifier
commit 2abf28ba6786d33276ba5ecb40703e839a58019b Author: Bastien Nocera <hadess@hadess.net> Date: Sat Dec 1 19:33:51 2012 +0100 media-keys: Add default shortcuts for the magnifier https://bugzilla.gnome.org/show_bug.cgi?id=689447
This broke the gnome-ostree autobuilder: http://ostree.gnome.org/work/tasks/gnomeos-3.8-build/2012.1902/log I suspect the <Alt> needs to be <Alt> ?
Yep, fixed.