This bug also affects VLC as detailed in http://askubuntu.com/questions/742127/ctrl-shortcuts-not-working-in-vlc, which also offers a workaround until the bug is fixed.
This bug also affects VLC as detailed in http:// askubuntu. com/questions/ 742127/ ctrl-shortcuts- not-working- in-vlc, which also offers a workaround until the bug is fixed.