Saya ingin menulis ekstensi Shell GNOME yang menetapkan beberapa pintasan keyboard yang berguna saat memuat, khususnya yang terkait dengan pergantian ruang kerja. Saya tahu cara mengatur ini dengan mudah dari pengaturan sistem, tetapi saya tidak tahu bagaimana melakukannya secara terprogram.
Ada beberapa opsi yang tersedia org.gnome.settings-daemon.plugins.media-keys, tetapi tidak ada yang melakukan apa yang saya inginkan.
Adakah yang tahu di mana / bagaimana GNOME menyimpan pintasan keyboard navigasi?
keyboard-shortcuts
gnome3
damien
sumber
sumber
org.gnome.desktop.wm.keybindings, tetapi hanya mulai sekitar versi 3.3.4.