4 Commits

Author	SHA1	Message	Date
VolTer	119456304b	Reduce the total size of our SVGs by 15%	2023-06-04 15:11:48 +02:00
Hugo Locurcio	0d27c4d809	Tweak pressed CheckBox appearance in the editor ... This uses the accent color to match pressed CheckButtons after they were updated. Checked checkboxes are now more prominent in the user's peripheral vision, which can be useful at times. This also matches how checkboxes look in most operating systems and web browsers.	2021-05-22 03:45:01 +02:00
Aaron Franke	d8b65461e3	Commit only the SVG files changed by file_format.sh ... There were a lot of SVG files changed by file_format.sh	2020-07-13 14:08:55 -04:00
Hugo Locurcio	1f8c82df32	Use PascalCase file names for editor icons ... Using PascalCase file names without any conversion step is less confusing to new contributors.	2020-02-24 18:53:05 +01:00