diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-07 08:28:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-07 08:28:41 +0200 |
| commit | 765839b2ad9034a7e3905aad081be1eeca2f0fb8 (patch) | |
| tree | 3fc8e8868d733c8018f697c6e67f748053e8059a /editor/property_editor.h | |
| parent | 78e84c29e653de67831ed6751ccf92bb2ad1cabb (diff) | |
| parent | 908f0eadba67931f9fcdf8cf2b93ca50bc5b48fa (diff) | |
Merge pull request #31161 from merumelu/default-theme-checkbutton
Default theme: make toggle_off_disabled.png the same dimension as other CheckButton images
Diffstat (limited to 'editor/property_editor.h')
0 files changed, 0 insertions, 0 deletions