diff options
| author | Juan Linietsky <juan@godotengine.org> | 2019-03-04 16:44:39 -0300 |
|---|---|---|
| committer | Juan Linietsky <juan@godotengine.org> | 2019-03-04 16:50:21 -0300 |
| commit | 472c94ce3e6cfe210f2687cadc19d64ad5f4c8f1 (patch) | |
| tree | 02fceb024b40cd66b604e8ecb20bbf5daf53ab10 /editor/editor_properties.h | |
| parent | d1ba3227c42e440094e1444d28d7f41eb6d850ff (diff) | |
Remove the "Open Editor" button, it will open automatically.
Diffstat (limited to 'editor/editor_properties.h')
| -rw-r--r-- | editor/editor_properties.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/editor_properties.h b/editor/editor_properties.h index df01ee83b5..574767890c 100644 --- a/editor/editor_properties.h +++ b/editor/editor_properties.h @@ -581,6 +581,9 @@ class EditorPropertyResource : public EditorProperty { void _button_input(const Ref<InputEvent> &p_event); void _open_editor_pressed(); + void _fold_other_editors(Object *p_self); + + bool opened_editor; protected: static void _bind_methods(); |