Michael Alexsander
|
e7e022b3ee
|
Prefer the highlight version of the "GuiTabIcon" icon for buttons, and make their width/height equal
(cherry picked from commit 26381265b8)
|
2020-07-15 12:11:31 +02:00 |
|
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 |
|
