diff --git a/helpers/make-gsettings-desktop-schemas b/helpers/make-gsettings-desktop-schemas index 8d9de561390f32e0b365503d354bde522834f454..2cb6102a3aec5f4dbb677a3cf8227c81d9f3e178 100644 --- a/helpers/make-gsettings-desktop-schemas +++ b/helpers/make-gsettings-desktop-schemas @@ -1,6 +1,6 @@ #!/bin/sh # -# Copyright (C) 2008-2016 Ruben Rodriguez <ruben@trisquel.info> +# Copyright (C) 2008-2021 Ruben Rodriguez <ruben@trisquel.info> # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -17,12 +17,16 @@ # Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA # -VERSION=1 +VERSION=2 COMPONENT=main +QUILT=skip . ./config -sed ':menus-have-icons:,:/key: s/false/true/; :buttons-have-icons:,:/key: s/false/true/;' ./schemas/org.gnome.desktop.interface.gschema.xml.in -i +export QUILT_PATCHES=debian/patches +quilt push -a + +sed '/menus-have-icons/,/summary/s/false/true/; /buttons-have-icons/,/summary/s/false/true/;' ./schemas/org.gnome.desktop.interface.gschema.xml.in -i changelog "Enabled icons in menus and buttons"