https://www.mytechguide.org/213/vlc-media-player-1-0-keyboard-shortcuts/