annotate org.guido-berhoerster.code.package-update-indicator.gschema.xml @ 58:9cbb0f8a66c4

Add setting to disable preferences widgets This just makes the widgets in the preferences application insensitive, settings can still be changed by directly editing the configuration file.
author Guido Berhoerster <guido+pui@berhoerster.name>
date Tue, 06 Sep 2022 19:11:21 +0200
parents 08747f3a718b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
1 <schemalist>
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
2 <schema id="org.guido-berhoerster.code.package-update-indicator"
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
3 path="/org/guido-berhoerster/code/package-update-indicator/"
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
4 gettext-domain="package-update-indicator">
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
5 <key name="update-command" type="s">
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
6 <default>""</default>
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
7 <summary>Update command</summary>
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
8 <description>Command for installing updates.</description>
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
9 </key>
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
10 <key name="refresh-interval" type="u">
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
11 <default>86400</default>
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
12 <summary>Refresh interval</summary>
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
13 <description>The interval in seconds for refreshing
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
14 metadata.</description>
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
15 </key>
4
3d72ca76538d Add setting to control whether to use a mobile connection
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 0
diff changeset
16 <key name="use-mobile-connection" type="b">
3d72ca76538d Add setting to control whether to use a mobile connection
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 0
diff changeset
17 <default>false</default>
3d72ca76538d Add setting to control whether to use a mobile connection
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 0
diff changeset
18 <summary>Whether to use a mobile connection</summary>
3d72ca76538d Add setting to control whether to use a mobile connection
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 0
diff changeset
19 <description>If enabled, use a mobile connection refreshing the package
3d72ca76538d Add setting to control whether to use a mobile connection
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 0
diff changeset
20 cache.</description>
3d72ca76538d Add setting to control whether to use a mobile connection
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 0
diff changeset
21 </key>
55
24cba399757f Add new setting "always-active"
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 4
diff changeset
22 <key name="always-active" type="b">
24cba399757f Add new setting "always-active"
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 4
diff changeset
23 <default>true</default>
24cba399757f Add new setting "always-active"
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 4
diff changeset
24 <summary>Whether the indicator is always active</summary>
24cba399757f Add new setting "always-active"
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 4
diff changeset
25 <description>Whether the indicator is active even when packages are up to
24cba399757f Add new setting "always-active"
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 4
diff changeset
26 date.</description>
24cba399757f Add new setting "always-active"
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 4
diff changeset
27 </key>
56
08747f3a718b Add new setting to hide indicator menu items
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 55
diff changeset
28 <key name="hide-menu-items" type="as">
08747f3a718b Add new setting to hide indicator menu items
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 55
diff changeset
29 <default>[]</default>
08747f3a718b Add new setting to hide indicator menu items
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 55
diff changeset
30 <summary>Hide menu items</summary>
08747f3a718b Add new setting to hide indicator menu items
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 55
diff changeset
31 <description>List of indicator menu items to be hidden.</description>
08747f3a718b Add new setting to hide indicator menu items
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 55
diff changeset
32 </key>
58
9cbb0f8a66c4 Add setting to disable preferences widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 56
diff changeset
33 <key name="disable-preferences" type="as">
9cbb0f8a66c4 Add setting to disable preferences widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 56
diff changeset
34 <default>[]</default>
9cbb0f8a66c4 Add setting to disable preferences widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 56
diff changeset
35 <summary>Disable preferences</summary>
9cbb0f8a66c4 Add setting to disable preferences widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 56
diff changeset
36 <description>List of preference widgets to be disabled.</description>
9cbb0f8a66c4 Add setting to disable preferences widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 56
diff changeset
37 </key>
0
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
38 </schema>
6884bb8130ca Initial revision
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
39 </schemalist>