diff options
author | James Buck <jamesbuck11@gmail.com> | 2019-04-22 20:33:53 -0500 |
---|---|---|
committer | James Buck <jamesbuck11@gmail.com> | 2019-04-22 20:38:17 -0500 |
commit | c230c6db98e98c3a473e13d6116481fef9fa4ac1 (patch) | |
tree | f8ef9ee76be73b13b31c15893ed1b2a00c8fb028 /.gitignore | |
parent | 33a0011ab292214cee81363bbb50d9de123af825 (diff) |
Fix drawing of checkable editor properties
- Make text cutoff respect checkbox icon's width
- Get checkbox icon from EditorIcons instead of CheckBox
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions