Commit graph

4 commits

Author SHA1 Message Date
Michael Alexsander Silva Dias
5ed5465023 Replace "GuiMiniTabMenu" with "GuiTabMenu" and tweak it 2019-09-25 12:53:42 -03:00
Hugo Locurcio
790391bc93
Optimize editor icon SVGs using svgcleaner
This makes editor binaries about 230 KB smaller.

The command used was:

    parallel svgcleaner --multipass {} {} ::: editor/icons/*.svg
2019-09-24 22:49:30 +02:00
Daniel J. Ramirez
56edf1f9c6 Use an arrow instead of 3 dots in trees 2017-09-22 18:16:58 -05:00
Daniel J. Ramirez
c873661c30 Added pure vector theme, with dark icons variation 2017-08-20 13:53:09 -05:00