1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
<?xml version="1.0" encoding="UTF-8"?>
<schemalist gettext-domain="extension-manager">
<schema id="@app_id@" path="/com/mattjakeman/ExtensionManager/">
<key name="style-variant" type="s">
<choices>
<choice value="use-default"/>
<choice value="force-light"/>
<choice value="force-dark"/>
</choices>
<default>'use-default'</default>
<summary>Colour Scheme Preference</summary>
<description>Whether to follow the system colour scheme or force either light or dark mode.</description>
</key>
<key name="last-used-version" type="s">
<default>'@app_version@'</default>
<summary>Last-Used Version</summary>
<description>The last-used version of the app. If the saved version does not match, the "What's New" dialog is shown.</description>
</key>
<key name="sort-enabled-first" type="b">
<default>false</default>
<summary>Sort Enabled First</summary>
<description>Display enabled extensions first in the installed view.</description>
</key>
<key name="show-unsupported" type="b">
<default>false</default>
<summary>Show Unsupported</summary>
<description>Show extensions which do not support the current version of GNOME.</description>
</key>
</schema>
</schemalist>
|
