diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-05-22 10:45:25 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-22 10:45:25 +0200 |
commit | 41d3f4787e24dbea3d46d881f80fa406bb05de27 (patch) | |
tree | 708922ae59be60d5a16b7610f4c178c5f6d21d42 /modules/mono/mono_gd/gd_mono_internals.h | |
parent | d78a9476146982f7d64bb65ffe94a2fc15babba3 (diff) | |
parent | b5c8205312c04205db5fe7ebf87ddbaa9dbfc950 (diff) |
Merge pull request #29074 from YeldhamDev/theme_editor_panel_fix
Fix bottom panel visibility behaviour in the theme editor
Diffstat (limited to 'modules/mono/mono_gd/gd_mono_internals.h')
0 files changed, 0 insertions, 0 deletions