5afe78bd9c
Clean up/refactor GraphNode and make it more flexible
...
Split GraphNode into GraphElement and GraphNode, add custom
titlebar, and adjust theming.
2023-09-07 17:29:06 +02:00
6f6fbb93be
Manually optimize a lot of SVGs
2023-05-27 20:03:44 +02:00
49eddd22e0
Update icons and color conversion rules to simplify the palette
2022-01-29 01:03:39 +03:00
7375a02015
Increase icon saturation by 30% for all editor icons
...
More saturated icons go better with the new editor theme.
These color changes only apply when using a dark theme.
The editor icon saturation can still be adjusted in the Editor Settings.
Setting the editor icon saturation setting to 0.77 should roughly match
the old icon saturation.
2021-05-11 18:15:31 +02:00
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
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
Hendrik Brucker
VolTer
Yuri Sizov
Hugo Locurcio
Aaron Franke