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

feature: edge gestures

Browse source
This commit is contained in:
Josia Pietsch 2024-07-19 02:14:25 +02:00
parent 624f07ae21
commit 8515062238
Signed by: jrpie
GPG key ID: E70B571D66986A2D
12 changed files with 162 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

29
app/src/main/res/layout/settings_launcher.xml
View file

@ -307,5 +307,34 @@
</LinearLayout>
<LinearLayout
android:layout_width="match_parent"
android:layout_height="wrap_content"
android:layout_marginBottom="16sp"
android:gravity="top"
android:orientation="horizontal"
android:paddingLeft="8sp">
<TextView
android:id="@+id/settings_launcher_text_enable_edge"
android:layout_width="wrap_content"
android:layout_height="wrap_content"
android:text="@string/settings_launcher_enable_edge"
android:textSize="16sp" />
<android.widget.Space
android:layout_width="0dp"
android:layout_height="wrap_content"
android:layout_weight="1" />
<Switch
android:id="@+id/settings_launcher_switch_enable_edge"
android:layout_width="wrap_content"
android:layout_height="wrap_content"
android:checked="false"
android:textSize="18sp" />
</LinearLayout>
</LinearLayout>
</androidx.core.widget.NestedScrollView>