[Android] Audio player: fix the player header not updated correctly when it has been slid down

[Adrien Maglo]

vlc-ports/android | branch: master | Adrien Maglo <magsoft at videolan.org> | Wed Jan 29 10:50:40 2014 +0100| [9573f007fa4b42947c022076b0ecd64834b02c21] | committer: Adrien Maglo

Audio player: fix the player header not updated correctly when it has been slid down

> http://git.videolan.org/gitweb.cgi/vlc-ports/android.git/?a=commit;h=9573f007fa4b42947c022076b0ecd64834b02c21
---

 vlc-android/src/org/videolan/vlc/widget/SlidingPaneLayout.java |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/vlc-android/src/org/videolan/vlc/widget/SlidingPaneLayout.java b/vlc-android/src/org/videolan/vlc/widget/SlidingPaneLayout.java
index 58c0b37..37ea781 100644
--- a/vlc-android/src/org/videolan/vlc/widget/SlidingPaneLayout.java
+++ b/vlc-android/src/org/videolan/vlc/widget/SlidingPaneLayout.java
@@ -896,7 +896,8 @@ public class SlidingPaneLayout extends ViewGroup {
                         if (mPanelSlideListener != null)
                             mPanelSlideListener.onPanelClosed();
                     }
-                } else if (mSlideOffset == 1 - (float)mOverhangSize/mSlideRange) {
+                } else if (Math.abs(mSlideOffset - (1 - (float)mOverhangSize / mSlideRange))
+                           <= 0.0001) {
                     if (mState != STATE_OPENED) {
                         mState = STATE_OPENED;
                         if (mPanelSlideListener != null)