Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-05-22 | Tweak pressed CheckBox appearance in the editor | Hugo Locurcio | |
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. | |||
2020-07-13 | Commit only the SVG files changed by file_format.sh | Aaron Franke | |
There were a lot of SVG files changed by file_format.sh | |||
2020-02-24 | Use PascalCase file names for editor icons | Hugo Locurcio | |
Using PascalCase file names without any conversion step is less confusing to new contributors. |