up vote 2 down vote favorite
share [g+] share [fb]

I want to write a GNOME Shell extension that sets some useful keyboard shortcuts when it loads, in particular those related to switching workspaces. I know how to set these easily from system settings, but I can't figure out how to do it programmatically.

There are some available options in org.gnome.settings-daemon.plugins.media-keys, but none that do what I want.

Anyone know where/how GNOME saves navigation keyboard shortcuts?

link|improve this question
After asking in the GNOME Shell IRC channel, it looks like most keybindings will be stored in org.gnome.desktop.wm.keybindings, but only starting around version 3.3.4. – damien Feb 10 at 15:19
feedback

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
or
required, but never shown
discard

Browse other questions tagged or ask your own question.