Ich möchte eine GNOME-Shell-Erweiterung schreiben, die beim Laden einige nützliche Tastaturkürzel einstellt, insbesondere solche zum Wechseln zwischen Arbeitsbereichen. Ich weiß, wie man diese ganz einfach in den Systemeinstellungen einstellt, aber ich komme nicht dahinter, wie das programmgesteuert geht.
Es gibt einige verfügbare Optionen in org.gnome.settings-daemon.plugins.media-keys, aber keine davon macht, was ich will.
Weiß jemand, wo/wie GNOME Navigationstastaturkürzel speichert?