[Android] Fix empty bookmark list when rotating the audio player

[Nicolas Pomepuy]

vlc-android | branch: master | Nicolas Pomepuy <nicolas at videolabs.io> | Wed Jul 12 13:30:28 2023 +0200| [f70e8fea4f0d6ab38822975031cc7ff3bec77ea7] | committer: Nicolas Pomepuy

Fix empty bookmark list when rotating the audio player

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

 .../src/org/videolan/vlc/gui/AudioPlayerContainerActivity.kt        | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/application/vlc-android/src/org/videolan/vlc/gui/AudioPlayerContainerActivity.kt b/application/vlc-android/src/org/videolan/vlc/gui/AudioPlayerContainerActivity.kt
index d8d4da40b8..4035cd7a6b 100644
--- a/application/vlc-android/src/org/videolan/vlc/gui/AudioPlayerContainerActivity.kt
+++ b/application/vlc-android/src/org/videolan/vlc/gui/AudioPlayerContainerActivity.kt
@@ -286,8 +286,10 @@ open class AudioPlayerContainerActivity : BaseActivity(), KeycodeListener {
         showTipViewIfNeeded(R.id.audio_player_tips, PREF_AUDIOPLAYER_TIPS_SHOWN)
         if (playlistTipsDelegate.currentTip != null) lockPlayer(true)
         if (restoreBookmarks) {
-            audioPlayer.showBookmarks()
-            restoreBookmarks = false
+            appBarLayout.post {
+                audioPlayer.showBookmarks()
+                restoreBookmarks = false
+            }
         }
     }