Commit graph

3 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
Michael Alexsander Silva Dias
94ad89a5fb Fix various problems with tab-related icons 2019-09-22 23:08:14 -03:00