VLCMediaPlayer.jumpBackward() and VLCMediaPlayer.jumpForward() doesn't work when player is paused

When we try to invoke jumpBackward() or jumpForward() several times on VLCMediaPlayer (when player is paused) time of player changes only during the first invocation, and this "only first" change is discovered only after invoking VLCMediaPlayer.play(). Getters of VLCMediaPlayer.position and VLCMediaPlayer.time return unchanged values until invoking play().

Affected version "3.3.14"

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information