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 /editor/icons | |
parent | 019908e5f02ca2670dd5f956a816cef045f0a777 (diff) |
Make bottom panel only try to hide editors when they're visible
Diffstat (limited to 'editor/icons')
0 files changed, 0 insertions, 0 deletions