[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