[Android] Reset the video player HUD timeout when using the HUD seek/navigation buttons

[Nicolas Pomepuy]

vlc-android | branch: master | Nicolas Pomepuy <nicolas at videolabs.io> | Wed Apr  9 07:22:50 2025 +0200| [db65620c281c0aa4eaff2c3d983ec1bed1147fef] | committer: Duncan McNamara

Reset the video player HUD timeout when using the HUD seek/navigation buttons

Fixes #3201

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

 .../src/org/videolan/vlc/gui/video/VideoPlayerActivity.kt    | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/application/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerActivity.kt b/application/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerActivity.kt
index 9992ce5eb5..5c1bcf23b6 100644
--- a/application/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerActivity.kt
+++ b/application/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerActivity.kt
@@ -1441,6 +1441,7 @@ open class VideoPlayerActivity : AppCompatActivity(), PlaybackService.Callback,
         if (service?.hasNext() == true) {
             service?.next()
             overlayDelegate.showInfo(getString(R.string.next), 1000)
+            overlayDelegate.showOverlay()
         }
     }
 
@@ -1448,6 +1449,7 @@ open class VideoPlayerActivity : AppCompatActivity(), PlaybackService.Callback,
         service?.let { service ->
             service.previous(false)
             overlayDelegate.showInfo(getString(R.string.previous), 1000)
+            overlayDelegate.showOverlay()
         }
     }
 
@@ -1964,8 +1966,14 @@ open class VideoPlayerActivity : AppCompatActivity(), PlaybackService.Callback,
         when (v.id) {
             R.id.orientation_toggle -> toggleOrientationLock()
             R.id.playlist_toggle -> overlayDelegate.togglePlaylist()
-            R.id.player_overlay_forward -> jump(forward = true, long = false)
-            R.id.player_overlay_rewind -> jump(forward = false, long = false)
+            R.id.player_overlay_forward -> {
+                jump(forward = true, long = false)
+                overlayDelegate.showOverlay()
+            }
+            R.id.player_overlay_rewind -> {
+                jump(forward = false, long = false)
+                overlayDelegate.showOverlay()
+            }
             R.id.ab_repeat_add_marker -> service?.playlistManager?.setABRepeatValue(
                 service?.playlistManager?.getCurrentMedia(), overlayDelegate.hudBinding.playerOverlaySeekbar.progress.toLong())
             R.id.ab_repeat_reset -> service?.playlistManager?.resetABRepeatValues(service?.playlistManager?.getCurrentMedia())