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"