jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-07-11 18:05:24 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

add support for app widgets (see #44)
Some checks are pending
Android CI / build (push) Waiting to run
Details

Browse source
This commit is contained in:
Josia Pietsch 2025-04-24 14:37:05 +02:00
parent 077bd1ce44
commit e7a06c443d
Signed by: jrpie
GPG key ID: E70B571D66986A2D
35 changed files with 1691 additions and 100 deletions
Download patch file Download diff file Expand all files Collapse all files

4
app/src/main/res/xml/preferences.xml
View file

@ -6,6 +6,10 @@
<Preference
android:key="@string/settings_general_choose_home_screen_key"
android:title="@string/settings_general_choose_home_screen"/>
<Preference
android:key="@string/settings_widgets_widgets_key"
android:title="@string/settings_widgets_widgets"/>
</PreferenceCategory>
<PreferenceCategory