jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-04-19 18:30:50 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

lint
Some checks are pending
Android CI / build (push) Waiting to run
Details

Browse source
This commit is contained in:
Josia Pietsch 2025-02-09 21:08:16 +01:00
parent d69e3caf71
commit 9c5500aa83
Signed by: jrpie
GPG key ID: E70B571D66986A2D
19 changed files with 25 additions and 37 deletions
Download patch file Download diff file Expand all files Collapse all files

4
app/src/main/res/layout/settings.xml
View file

@ -39,7 +39,7 @@
android:id="@+id/settings_close"
android:layout_width="wrap_content"
android:layout_height="wrap_content"
android:layout_marginRight="8dp"
android:layout_marginEnd="8dp"
android:gravity="center"
android:includeFontPadding="true"
android:paddingLeft="16sp"
@ -55,7 +55,7 @@
android:layout_width="wrap_content"
android:layout_height="wrap_content"
android:layout_marginStart="8dp"
android:layout_marginLeft="8dp"
android:layout_marginEnd="8dp"
android:gravity="center"
android:includeFontPadding="true"
android:paddingLeft="16sp"