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 |
|