Fix top padding in sources tab
Cette révision appartient à :
Parent
a9d32fea37
révision
67d284fc35
1 fichiers modifiés avec 0 ajouts et 1 suppressions
|
@ -9,7 +9,6 @@
|
||||||
android:id="@+id/recycler"
|
android:id="@+id/recycler"
|
||||||
android:layout_width="match_parent"
|
android:layout_width="match_parent"
|
||||||
android:layout_height="wrap_content"
|
android:layout_height="wrap_content"
|
||||||
android:layout_marginTop="4dp"
|
|
||||||
tools:listitem="@layout/source_main_controller_card" />
|
tools:listitem="@layout/source_main_controller_card" />
|
||||||
|
|
||||||
<eu.davidea.fastscroller.FastScroller
|
<eu.davidea.fastscroller.FastScroller
|
||||||
|
|
Référencer dans un nouveau ticket