Menu - Tools - Preferences - All - Interface - Hotkeys settings and here: Short jump length Thanks. I already dissected the source and saw that it uses short-jump-size for both forward and backward. That is unfortunate, since I want to make VLC behave like a DVR, where the backward jump is a fracti...