diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-01-25 10:30:47 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-01-25 10:30:47 -0300 |
| commit | 5245adcf81dd61ddb4eac048f6b004f3f455d7ed (patch) | |
| tree | 272c46c2ee422d9fe6d4dfaeca51fa52c264ffb3 /tools/editor/editor_node.h | |
| parent | 07e79094802a2eb2d7c0cd64cecf673db386ec5a (diff) | |
| parent | 87517c564b83218871ac53afdad375a9501e6cb8 (diff) | |
Merge branch 'master' of https://github.com/godotengine/godot
Diffstat (limited to 'tools/editor/editor_node.h')
| -rw-r--r-- | tools/editor/editor_node.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/editor/editor_node.h b/tools/editor/editor_node.h index 4dc942c023..c687643d30 100644 --- a/tools/editor/editor_node.h +++ b/tools/editor/editor_node.h @@ -670,6 +670,7 @@ public: ToolButton* add_bottom_panel_item(String p_text,Control *p_item); + bool are_bottom_panels_hidden() const; void make_bottom_panel_item_visible(Control *p_item); void raise_bottom_panel_item(Control *p_item); void hide_bottom_panel(); |