From 8e23ff81111ca8856b325c690abb0b6f3fba9fc2 Mon Sep 17 00:00:00 2001 From: Georges Basile Stavracas Neto Date: Thu, 5 Dec 2019 11:00:21 -0300 Subject: [PATCH] gschema: Introduce the 'app-picker-layout' key MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This is the key that will be used to store the pages and the icons in each page. The idea is that we we store an a{sv} variant for each page. This variant will contain → array of properties, where we can store arbitrary data for each icon. The expected output of this key is: [ { 'polari.desktop': <{ 'position': 0 }>, 'epiphany.deskop': <{ 'position': 1 }>, }, { 'telegram.desktop': <{ 'position': 2 }>, 'builder.desktop': <{ 'position': 0 }>, 'gitg.desktop': <{ 'position': 1 }>, } ] The toplevel array is sorted, and pages of the grid always show in the order they are stored. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1284 --- data/org.gnome.shell.gschema.xml.in | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in index 49d38d766..6eacfa568 100644 --- a/data/org.gnome.shell.gschema.xml.in +++ b/data/org.gnome.shell.gschema.xml.in @@ -109,6 +109,17 @@ the shell. + + [] + Layout of the app picker + + Layout of the app picker. Each entry in the array is a page. Pages are + stored in the order they appear in GNOME Shell. Each page contains an + “application id” → 'data' pair. Currently, the following values are + stored as 'data': + • “position”: the position of the application icon in the page + +