diff options
| author | Michael Alexsander <michaelalexsander@protonmail.com> | 2020-07-11 12:32:27 -0300 |
|---|---|---|
| committer | Michael Alexsander <michaelalexsander@protonmail.com> | 2020-07-11 12:59:25 -0300 |
| commit | 26381265b88d02412593d5a786772544e6a1ac09 (patch) | |
| tree | 2d0ba90fa59ab371348f0013ff5fc9a3f8dc0162 /editor/plugins/script_text_editor.h | |
| parent | fb664c61f541e2ff2a2be2f55c2ba1d802d334be (diff) | |
Prefer the highlight version of the "GuiTabIcon" icon for buttons, and make their width/height equal
Diffstat (limited to 'editor/plugins/script_text_editor.h')
0 files changed, 0 insertions, 0 deletions