Add an alias fo rthe play/pause toggle key

This commit is contained in:
Kovid Goyal 2021-01-05 16:22:07 +05:30
parent 18bff172d4
commit ed0f7e9684
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -188,7 +188,7 @@ class ReadAloud:
if ev.key is 'Escape':
self.hide()
return
if ev.key is ' ' or ev.key is 'MediaPlayPause':
if ev.key is ' ' or ev.key is 'MediaPlayPause' or ev.key is 'PlayPause':
self.toggle()
return
if ev.key is 'Play' or ev.key is 'MediaPlay':