From 99ece98b0254c2685be858da94a5d5c1e84c051d Mon Sep 17 00:00:00 2001
From: Jessie Hildebrandt <jessieh@jessieh.net>
Date: Thu, 7 Sep 2023 18:06:00 -0400
Subject: [PATCH] Add missing play/pause media shortcut key

---
 opensuse-personalizer.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/opensuse-personalizer.sh b/opensuse-personalizer.sh
index f9dfed4..4216498 100755
--- a/opensuse-personalizer.sh
+++ b/opensuse-personalizer.sh
@@ -424,6 +424,7 @@ gsettings set org.gnome.desktop.wm.keybindings switch-applications-backward "[]"
 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 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 volume-down "['<Super>Page_Down']"
     gsettings set org.gnome.settings-daemon.plugins.media-keys volume-mute "['<Super>End']"