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 /misc | |
| 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 'misc')
0 files changed, 0 insertions, 0 deletions