diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-03-16 10:53:44 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-16 10:53:44 -0700 |
commit | 376d3dfd03962983668765dd9d7d5905799a62b2 (patch) | |
tree | 166fddc2c1e2792990a132f1454b32fd601b52d2 /modules/gdscript/editor/gdscript_highlighter.cpp | |
parent | d8a6b4ee67c702726e943bbc5779881a9542848b (diff) | |
parent | ebabb0ea6598a8b67ec7149e5dea7b036934dde9 (diff) |
Merge pull request #27126 from YeldhamDev/bottompanel_hide_only_visible
Make bottom panel only try to hide editors when they're visible
Diffstat (limited to 'modules/gdscript/editor/gdscript_highlighter.cpp')
0 files changed, 0 insertions, 0 deletions