diff options
Diffstat (limited to 'tools/editor/editor_node.h')
| -rw-r--r-- | tools/editor/editor_node.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/editor/editor_node.h b/tools/editor/editor_node.h index 7d9b11ed8..65a5687dc 100644 --- a/tools/editor/editor_node.h +++ b/tools/editor/editor_node.h @@ -227,6 +227,7 @@ private: Tabs *scene_tabs; int tab_closing; + bool exiting; int old_split_ofs; VSplitContainer *top_split; @@ -712,6 +713,8 @@ public: void update_keying(); + bool is_exiting() const { return exiting; } + ToolButton *get_pause_button() { return pause_button; } |
