Simplify the keyboard shortcuts for media handling

This commit is contained in:
Alexander Hess 2023-05-08 13:53:45 +02:00
parent e98a39091e
commit cfff403773
Signed by: alexander
GPG key ID: 344EA5AB10D868E0

View file

@ -81,13 +81,13 @@ screensaver=['<Super>Escape']
logout=@as []
# Besides the numkeys, we use "/", ".", and "," to control the media
play=['<Primary>KP_5', '<Super><Primary>Slash']
next=['<Primary>KP_6', '<Super><Primary>Period']
previous=['<Primary>KP_4', '<Super><Primary>Comma']
play=['<Primary><Alt>Slash']
next=['<Primary><Alt>Right']
previous=['<Primary><Alt>Left']
# Note: I often type "m" for "mute" intuitively
volume-mute=['<Primary>KP_0', '<Primary><Alt>Slash', '<Super><Primary>M', '<Primary><Alt>M']
volume-up=['<Primary>KP_8', '<Primary><Alt>Period']
volume-down=['<Primary>KP_2', '<Primary><Alt>Comma']
volume-mute=['<Primary><Alt>M']
volume-up=['<Primary><Alt>Up']
volume-down=['<Primary><Alt>Down']
magnifier=@as []
magnifier-zoom-in=@as []