Florian Müllner
69d8d1a335
Now that previews scroll when there are too many workspaces, there is no longer a reason for the 6-workspace limit. However some users do prefer the menu, so rather than drop it, turn it into a proper preference. Closes https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/336 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/316>
45 lines
1.6 KiB
XML
45 lines
1.6 KiB
XML
<!--
|
|
SPDX-FileCopyrightText: 2016 Florian Müllner <fmuellner@gnome.org>
|
|
|
|
SPDX-License-Identifier: GPL-2.0-or-later
|
|
-->
|
|
|
|
<schemalist gettext-domain="gnome-shell-extensions">
|
|
<enum id="org.gnome.shell.extensions.window-list.GroupingMode">
|
|
<value value="0" nick="never"/>
|
|
<value value="1" nick="auto"/>
|
|
<value value="2" nick="always"/>
|
|
</enum>
|
|
<schema id="org.gnome.shell.extensions.window-list"
|
|
path="/org/gnome/shell/extensions/window-list/">
|
|
<key name="grouping-mode"
|
|
enum="org.gnome.shell.extensions.window-list.GroupingMode">
|
|
<default>'never'</default>
|
|
<summary>When to group windows</summary>
|
|
<description>
|
|
Decides when to group windows from the same application on the
|
|
window list. Possible values are “never”, “auto” and “always”.
|
|
</description>
|
|
</key>
|
|
<key name="display-all-workspaces" type="b">
|
|
<default>false</default>
|
|
<summary>Show windows from all workspaces</summary>
|
|
<description>
|
|
Whether to show windows from all workspaces or only the current one.
|
|
</description>
|
|
</key>
|
|
<key name="show-on-all-monitors" type="b">
|
|
<default>false</default>
|
|
<summary>Show the window list on all monitors</summary>
|
|
<description>
|
|
Whether to show the window list on all connected monitors or
|
|
only on the primary one.
|
|
</description>
|
|
</key>
|
|
<key name="embed-previews" type="b">
|
|
<default>true</default>
|
|
<summary>Show workspace previews in window list</summary>
|
|
</key>
|
|
</schema>
|
|
</schemalist>
|