diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-06-05 22:12:47 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-06-05 22:18:46 +0200 |
| commit | ecda25b050a40e7b4b17f735bc7aec4c584f88c9 (patch) | |
| tree | ac927df46585c79ea0957743aae32376437841b5 /misc/scripts/fix_headers.py | |
| parent | 197b65f32ac811f79bc5599fbfe8cf83914b6873 (diff) | |
| download | redot-engine-ecda25b050a40e7b4b17f735bc7aec4c584f88c9.tar.gz | |
Add a margin to "checkable" property checkboxes in the editor inspector
This makes "checkable" property checkboxes look more consistent with
other checkboxes.
Diffstat (limited to 'misc/scripts/fix_headers.py')
0 files changed, 0 insertions, 0 deletions