gnome-settings-daemon: allow multiple keyboard shortcuts for volume control
Submitted by Ansgar Burchardt
I have a laptop with multimedia keys for volume control and sometimes (when docked) an external USB keyboard without multimedia keys. To control volume with the external keyboard, I changed volume up/down to Super+, and Super+.
However changing the keyboard shortcuts made the media keys on the integrated laptop keyboard no longer work.
It would be nice if gnome-settings-daemon (or the media-keys plugin for it) used a list of shortcuts for each action instead of just a single entry.
I checked dconf and /org/gnome/settings-daemon/plugins/media-keys/ only allows a single value per entry. gnome-shell uses lists instead; for example /org/gnome/shell/keybindings/toggle-message-tray is ['
I use gnome-settings-daemon 3.26.2-1 from Debian testing (buster).