mirrors/element-android
1
0
Fork 0
mirror of https://github.com/element-hq/element-android synced 2024-10-23 03:06:33 +03:00
Code Issues Projects Releases Packages Wiki Activity

Better fix for scrollbar padding

Browse source
This commit is contained in:
Maxime NATUREL 2022-12-19 10:53:45 +01:00
parent 7ea1f65fe3
commit 5bde84c059
1 changed files with 6 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
vector/src/main/res/layout/bottom_sheet_device_manager_filter.xml
View file

@ -1,11 +1,8 @@
<?xml version="1.0" encoding="utf-8"?>
<LinearLayout xmlns:android="http://schemas.android.com/apk/res/android"
xmlns:tools="http://schemas.android.com/tools"
android:layout_width="match_parent"
android:layout_height="wrap_content"
android:orientation="vertical"
android:paddingHorizontal="24dp"
android:paddingBottom="32dp">
android:orientation="vertical">
<View
android:layout_width="36dp"
@ -19,14 +16,16 @@
android:layout_width="wrap_content"
android:layout_height="wrap_content"
android:layout_marginTop="12dp"
android:paddingHorizontal="24dp"
android:text="@string/device_manager_filter_bottom_sheet_title" />
<ScrollView
android:layout_width="match_parent"
android:layout_height="match_parent"
android:paddingEnd="5dp"
android:scrollbarStyle="outsideOverlay"
tools:ignore="RtlSymmetry">
android:clipToPadding="false"
android:paddingHorizontal="24dp"
android:paddingBottom="32dp"
android:scrollbarStyle="outsideOverlay">
<RadioGroup
android:id="@+id/filterOptionsRadioGroup"