diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-06-12 14:23:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-12 14:23:27 +0200 |
commit | df2567923551132c4835192bd856ecf07af1fe51 (patch) | |
tree | 0596457535291fa1e1b84749461b414972f02559 /scene/gui/margin_container.cpp | |
parent | 1e5a02f0062b6bbf2edb27151319c6ec4d6a1762 (diff) | |
parent | e4f90337f29ab8cc3683921c3f78987ce1c3166b (diff) |
Merge pull request #29601 from NilsIrl/hiding_enabled
Treat hiding_enabled as bool throughout
Diffstat (limited to 'scene/gui/margin_container.cpp')
0 files changed, 0 insertions, 0 deletions