1

Add missing play/pause media shortcut key

This commit is contained in:
Jessie Hildebrandt 2023-09-07 18:06:00 -04:00
parent fd913fdbc6
commit 99ece98b02

View File

@ -424,6 +424,7 @@ gsettings set org.gnome.desktop.wm.keybindings switch-applications-backward "[]"
if [[ "${optional_additions}" == *"Media Control Key Shortcuts"* ]]; then if [[ "${optional_additions}" == *"Media Control Key Shortcuts"* ]]; then
gsettings set org.gnome.settings-daemon.plugins.media-keys mic-mute "['<Super>Home']" gsettings set org.gnome.settings-daemon.plugins.media-keys mic-mute "['<Super>Home']"
gsettings set org.gnome.settings-daemon.plugins.media-keys next "['<Control><Super>Page_Down']" gsettings set org.gnome.settings-daemon.plugins.media-keys next "['<Control><Super>Page_Down']"
gsettings set org.gnome.settings-daemon.plugins.media-keys play "['<Control><Super>End']"
gsettings set org.gnome.settings-daemon.plugins.media-keys previous "['<Control><Super>Page_Up']" gsettings set org.gnome.settings-daemon.plugins.media-keys previous "['<Control><Super>Page_Up']"
gsettings set org.gnome.settings-daemon.plugins.media-keys volume-down "['<Super>Page_Down']" gsettings set org.gnome.settings-daemon.plugins.media-keys volume-down "['<Super>Page_Down']"
gsettings set org.gnome.settings-daemon.plugins.media-keys volume-mute "['<Super>End']" gsettings set org.gnome.settings-daemon.plugins.media-keys volume-mute "['<Super>End']"