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	0f4df474c9	Improve radio checkboxes in the default editor theme	2021-06-03 00:44:21 +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

Renamed from editor/icons/icon_GUI_radio_checked.svg (Browse further)