comparison 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
comparison
equal deleted inserted replaced
57:76989c84bd20 58:9cbb0f8a66c4
28 <key name="hide-menu-items" type="as"> 28 <key name="hide-menu-items" type="as">
29 <default>[]</default> 29 <default>[]</default>
30 <summary>Hide menu items</summary> 30 <summary>Hide menu items</summary>
31 <description>List of indicator menu items to be hidden.</description> 31 <description>List of indicator menu items to be hidden.</description>
32 </key> 32 </key>
33 <key name="disable-preferences" type="as">
34 <default>[]</default>
35 <summary>Disable preferences</summary>
36 <description>List of preference widgets to be disabled.</description>
37 </key>
33 </schema> 38 </schema>
34 </schemalist> 39 </schemalist>