[gnome-shell] data: Remove unused GSettings key



commit a9349fbd3f38c48b3c27acc1579b795ced215a2f
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Oct 15 19:10:46 2020 +0200

    data: Remove unused GSettings key
    
    We no longer have multiple app picker views, so there's no point
    in remembering the last one.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1469

 data/org.gnome.shell.gschema.xml.in | 7 -------
 1 file changed, 7 deletions(-)
---
diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in
index 6eacfa5680..0ae047e188 100644
--- a/data/org.gnome.shell.gschema.xml.in
+++ b/data/org.gnome.shell.gschema.xml.in
@@ -57,13 +57,6 @@
         will be displayed in the favorites area.
       </description>
     </key>
-    <key name="app-picker-view" type="u">
-      <default>0</default>
-      <summary>App Picker View</summary>
-      <description>
-        Index of the currently selected view in the application picker.
-      </description>
-    </key>
     <key name="command-history" type="as">
       <default>[]</default>
       <summary>History for command (Alt-F2) dialog</summary>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]