From c6141dffd2a5fba10b1faae3f760a03a1030f9cc Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Fri, 27 Jul 2018 07:16:44 -0400 Subject: [PATCH] Keep picking up icons as resources We may need to revisit this at some point. For now, keep the mechanism in place. This is a partial revert of 806c659efe3a8f2ebc4a5201f7152636edf3bb49. --- gtk/gen-gtk-gresources-xml.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/gtk/gen-gtk-gresources-xml.py b/gtk/gen-gtk-gresources-xml.py index 10478e4c76..99a687f40c 100644 --- a/gtk/gen-gtk-gresources-xml.py +++ b/gtk/gen-gtk-gresources-xml.py @@ -61,6 +61,13 @@ for f in get_files('ui', '.ui'): xml += '\n' +for s in ['16x16', '24x24', '32x32', '48x48']: + for c in ['actions', 'status']: + icons_dir = 'icons/{0}/{1}'.format(s,c) + if os.path.exists(os.path.join(srcdir,icons_dir)): + for f in get_files(icons_dir, '.png'): + xml += ' icons/{0}/{1}/{2}\n'.format(s,c,f) + for f in get_files('inspector', '.ui'): xml += ' inspector/{0}\n'.format(f)