[Android] Fix video player bookmarks visibility when navigating

[Nicolas Pomepuy]

vlc-android | branch: master | Nicolas Pomepuy <nicolas at videolabs.io> | Tue Mar  8 13:27:27 2022 +0100| [75563577d1267d5a18cf4c1559d8c9191736d2d5] | committer: Duncan McNamara

Fix video player bookmarks visibility when navigating

Fixes #2419

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

 .../src/org/videolan/vlc/gui/video/VideoPlayerOverlayDelegate.kt         | 1 +
 1 file changed, 1 insertion(+)

diff --git a/application/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerOverlayDelegate.kt b/application/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerOverlayDelegate.kt
index 9e2efded4..bade2910b 100644
--- a/application/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerOverlayDelegate.kt
+++ b/application/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerOverlayDelegate.kt
@@ -726,6 +726,7 @@ class VideoPlayerOverlayDelegate (private val player: VideoPlayerActivity) {
      */
     fun hideOverlay(fromUser: Boolean) {
         if (player.isShowing) {
+            if (isBookmarkShown()) hideBookmarks()
             player.handler.removeMessages(VideoPlayerActivity.FADE_OUT)
             if (!player.displayManager.isPrimary) {
                 overlayBackground?.startAnimation(AnimationUtils.loadAnimation(player, android.R.anim.fade_out))