annotate pui.gresource.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 7172a0db97af
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8"?>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
2 <gresources>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
3 <gresource prefix="/org/guido-berhoerster/code/package-update-indicator">
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
4 <file compressed="true">pui-menu.ui</file>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
5 <file compressed="true">pui-about-dialog.ui</file>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
6 </gresource>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
7 </gresources>