[Android] Video player: increase margin between options

Geoffrey Métais git at videolan.org
Fri Jul 12 14:39:14 CEST 2019


vlc-android | branch: master | Geoffrey Métais <geoffrey.metais at gmail.com> | Fri Jul 12 14:01:44 2019 +0200| [75b5165a32cd61dbfcf5015bbc8e39c0ddc4f604] | committer: Geoffrey Métais

Video player: increase margin between options

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

 vlc-android/res/layout/player_hud.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vlc-android/res/layout/player_hud.xml b/vlc-android/res/layout/player_hud.xml
index d57fc8284..83880e970 100644
--- a/vlc-android/res/layout/player_hud.xml
+++ b/vlc-android/res/layout/player_hud.xml
@@ -48,7 +48,7 @@
             android:id="@+id/orientation_toggle"
             android:layout_width="wrap_content"
             android:layout_height="wrap_content"
-            android:layout_marginEnd="8dp"
+            android:layout_marginEnd="@dimen/time_margin_sides"
             android:background="?attr/selectableItemBackgroundBorderless"
             android:focusable="true"
             android:visibility="gone"



More information about the Android mailing list