[Android] Refresh browser when media time / played states are updated

[Nicolas Pomepuy]

vlc-android | branch: master | Nicolas Pomepuy <nicolas at videolabs.io> | Mon Mar 18 10:11:22 2024 +0100| [e2e4d8e131cae7603f7b7e1afe26e488bf2eb11e] | committer: Duncan McNamara

Refresh browser when media time / played states are updated

> https://code.videolan.org/videolan/vlc-android/commit/e2e4d8e131cae7603f7b7e1afe26e488bf2eb11e
---

 .../org/videolan/tools/livedata/LiveDataset.kt     |  8 +++++
 .../videolan/vlc/gui/browser/BaseBrowserAdapter.kt | 35 ++++++++++++++++------
 .../vlc/gui/browser/BaseBrowserFragment.kt         | 34 +++++++++++++++++++++
 .../src/org/videolan/vlc/media/PlaylistManager.kt  |  2 ++
 .../vlc/viewmodels/browser/BrowserModel.kt         | 26 +++++++++++++++-
 5 files changed, 95 insertions(+), 10 deletions(-)

Diff:   https://code.videolan.org/videolan/vlc-android/commit/e2e4d8e131cae7603f7b7e1afe26e488bf2eb11e