Add icons to preferences headerbar

2020-09-24 11:35:12 +00:00
parent 4454f7e87b
commit 3ab0255d5f
15 changed files with 515 additions and 20 deletions
@@ -32,6 +32,7 @@ build: build-clean
 		--extra-source=./config.js \
 		--extra-source=./convenience.js \
 		--extra-source=./utils.js \
+		--extra-source=./icons/ \
 		--extra-source=./modules/ \
 		--extra-source=./preferences/ \
 		--extra-source=./schemas/ \