Time/position not updated after seek while paused
Action to reproduce: Open a video. Pause video. Seek. Observe the position/time displayed in the bottom left.
Expected behaviour: Video time/position shown in bottom left is updated (as per VLC 3).
Observed behaviour: Video time/position remains the same until video is unpaused. vlc.player.get_time() is also not updated.
Importance: High because Syncplay relies on vlc.player.get_time() being correct for accurate syncing.
Test set-up: Tested on two different Windows machines using vlc-4.0.0-20190620-0833-dev-win64 and vlc-4.0.0-20190620-0833-dev-win32.