added extra padding on page number to prevent cut off on rounded corner devices. (#1056)
Cette révision appartient à :
Parent
2060b5cd34
révision
afa89ac125
1 fichiers modifiés avec 1 ajouts et 1 suppressions
|
@ -30,7 +30,7 @@
|
|||
android:layout_height="wrap_content"
|
||||
android:layout_gravity="bottom|start"
|
||||
android:background="?android:attr/colorBackground"
|
||||
android:padding="4dp"/>
|
||||
android:padding="8dp"/>
|
||||
|
||||
</FrameLayout>
|
||||
|
||||
|
|
Référencer dans un nouveau ticket