Quero escrever uma extensão do GNOME Shell que defina alguns atalhos de teclado úteis quando for carregado, em particular aqueles relacionados à troca de espaços de trabalho. Eu sei como defini-los facilmente nas configurações do sistema, mas não consigo descobrir como fazê-lo programaticamente.
Existem algumas opções disponíveis no org.gnome.settings-daemon.plugins.media-keys, mas nenhuma que faça o que eu quero.
Alguém sabe onde/como o GNOME salva os atalhos de teclado de navegação?