diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-08-07 13:34:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-07 13:34:48 +0200 |
commit | 904e3100aceee7560e24ae1293c5b8a1e6201d55 (patch) | |
tree | 3545a249f9b8a743ed8cf721592764bec2889ac5 /editor/editor_run.h | |
parent | af935af38dc0dfc01b010920c8624ac09491ea55 (diff) | |
parent | deec700497f860602a26cf16904e44a23cc722ce (diff) |
Merge pull request #31127 from MuffinManKen/checkbox_implement_check_vadjust
Implemented check_vadjust in CheckBox & CheckButton. It was exposed to the editor, but not used.
Diffstat (limited to 'editor/editor_run.h')
0 files changed, 0 insertions, 0 deletions