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 fraction of the forward one.Menu - Tools - Preferences - All - Interface - Hotkeys settings and here: Short jump length
Return to “General VLC media player Troubleshooting”
Users browsing this forum: No registered users and 80 guests