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 |