From cfff403773b87dd19b412d0d4a77c27a94c015dc Mon Sep 17 00:00:00 2001 From: Alexander Hess Date: Mon, 8 May 2023 13:53:45 +0200 Subject: [PATCH] Simplify the keyboard shortcuts for media handling --- .config/gnome-settings/key-bindings.ini | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.config/gnome-settings/key-bindings.ini b/.config/gnome-settings/key-bindings.ini index 1386835..ed95bcb 100644 --- a/.config/gnome-settings/key-bindings.ini +++ b/.config/gnome-settings/key-bindings.ini @@ -81,13 +81,13 @@ screensaver=['Escape'] logout=@as [] # Besides the numkeys, we use "/", ".", and "," to control the media -play=['KP_5', 'Slash'] -next=['KP_6', 'Period'] -previous=['KP_4', 'Comma'] +play=['Slash'] +next=['Right'] +previous=['Left'] # Note: I often type "m" for "mute" intuitively -volume-mute=['KP_0', 'Slash', 'M', 'M'] -volume-up=['KP_8', 'Period'] -volume-down=['KP_2', 'Comma'] +volume-mute=['M'] +volume-up=['Up'] +volume-down=['Down'] magnifier=@as [] magnifier-zoom-in=@as []