diff options
| author | Michael Alexsander Silva Dias <michaelalexsander@protonmail.com> | 2019-03-16 03:39:49 -0300 |
|---|---|---|
| committer | Michael Alexsander Silva Dias <michaelalexsander@protonmail.com> | 2019-03-16 03:39:49 -0300 |
| commit | ebabb0ea6598a8b67ec7149e5dea7b036934dde9 (patch) | |
| tree | 8c6c76d8f0e83b8c42fc1ffcd1883dc32a56bb74 /core/map.h | |
| parent | 019908e5f02ca2670dd5f956a816cef045f0a777 (diff) | |
Make bottom panel only try to hide editors when they're visible
Diffstat (limited to 'core/map.h')
0 files changed, 0 insertions, 0 deletions