view pui-prefs.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 2f04ec9e0506
children
line wrap: on
line source

<?xml version="1.0" encoding="UTF-8"?>
<gresources>
  <gresource prefix="/org/guido-berhoerster/code/package-update-indicator/preferences">
    <file compressed="true">pui-prefs-window.ui</file>
  </gresource>
</gresources>