diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-30 18:00:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-30 18:00:37 +0100 |
| commit | 7b412eb8390d73313bfc6ba4997e3533802186cf (patch) | |
| tree | 4528f87410ba735ec8a81043d07d193e93bb1c66 /core/script_debugger_local.h | |
| parent | 583d96cb964d37cca39e3bc0e9a4372d6693dfec (diff) | |
| parent | fd2c181a3560eebfeae3ac53c55309f505dde849 (diff) | |
Merge pull request #34653 from YeldhamDev/optionbutton_margin_auto
Make OptionButton itself take into account the arrow margin instead of relying on the theme
Diffstat (limited to 'core/script_debugger_local.h')
0 files changed, 0 insertions, 0 deletions