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 widget panels (see #44)
Some checks failed
Android CI / build (push) Has been cancelled
Details

Browse source
This commit is contained in:
Josia Pietsch 2025-04-26 21:52:21 +02:00
parent ffaaba7abb
commit a4fcdf60c7
Signed by: jrpie
GPG key ID: E70B571D66986A2D
37 changed files with 807 additions and 68 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -3,14 +3,10 @@
xmlns:app="http://schemas.android.com/apk/res-auto">
<PreferenceCategory
app:allowDividerAbove="false" > <!-- general -->
<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
app:allowDividerAbove="false"
@ -178,6 +174,16 @@
android:defaultValue="false"/>
</PreferenceCategory>
<PreferenceCategory
android:title="@string/settings_launcher_section_widgets"
app:allowDividerAbove="false">
<Preference
android:key="@string/settings_widgets_widgets_key"
android:title="@string/settings_widgets_widgets" />
<Preference
android:key="@string/settings_widgets_custom_panels_key"
android:title="@string/settings_widgets_custom_panels" />
</PreferenceCategory>
<PreferenceCategory
android:title="@string/settings_launcher_section_display"