From baab9939998fc3e59daa11cb52d699346939a1e2 Mon Sep 17 00:00:00 2001
From: Joey <joey@lineageos.org>
Date: Sun, 4 Feb 2018 11:36:32 +0100
Subject: Trebuchet: allow disabling workspace edit

Change-Id: I503e19cbc512eac0e4a8c8bccc16a6ccc0e805da
Signed-off-by: Joey <joey@lineageos.org>
---
 res/xml/launcher_preferences.xml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'res/xml')

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"
-- 
cgit v1.2.3