diff options
Diffstat (limited to 'res/xml')
| -rw-r--r-- | res/xml/launcher_preferences.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/res/xml/launcher_preferences.xml b/res/xml/launcher_preferences.xml index b5dace816..3df481c88 100644 --- a/res/xml/launcher_preferences.xml +++ b/res/xml/launcher_preferences.xml @@ -17,6 +17,14 @@ <androidx.preference.PreferenceScreen xmlns:android="http://schemas.android.com/apk/res/android"> + <SwitchPreference + android:defaultValue="true" + android:key="pref_workspace_edit" + android:persistent="true" + android:title="@string/settings_edit_allow_title" + android:summaryOn="@string/settings_edit_allow_summary_on" + android:summaryOff="@string/settings_edit_allow_summary_off" /> + <com.android.launcher3.settings.NotificationDotsPreference android:key="pref_icon_badging" android:title="@string/notification_dots_title" |