diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-09-18 20:06:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-18 20:06:10 +0200 |
| commit | cfa868e9000e4c0eccfb3882626da007fd814cad (patch) | |
| tree | 1e2d9de876cee264a600d145d93da4be2ff8dce5 /tools/editor/editor_help.h | |
| parent | 0e962311be7fa5565a456ecd328202c2d6f6ca13 (diff) | |
| parent | 7904b2b4050dfc26db330da8c603d64bed462dc2 (diff) | |
Merge pull request #6525 from vnen/plugin-bottom-show-hide
Expose bottom panel show/hide for plugins
Diffstat (limited to 'tools/editor/editor_help.h')
0 files changed, 0 insertions, 0 deletions