diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-06-26 02:23:59 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-06-26 02:26:38 +0200 |
| commit | ca7e92ed39587075d71a80271855234d6167e503 (patch) | |
| tree | fdb392de16563749958cbc7bdce41eb32c6f563f /editor/editor_node.h | |
| parent | 295a79c12540f0cb26e73404b641cd4848a2c1a7 (diff) | |
Request attention on the editor window when done recording a movie
Recording a movie can take a long time, so the user may not be
paying attention to the editor while leaving a movie rendering
in the background.
This also allows editor plugins to access the state of Movie Maker mode
within the editor (and set it).
Diffstat (limited to 'editor/editor_node.h')
| -rw-r--r-- | editor/editor_node.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/editor_node.h b/editor/editor_node.h index 89f80baeb9..418bc0035b 100644 --- a/editor/editor_node.h +++ b/editor/editor_node.h @@ -747,6 +747,9 @@ public: void set_addon_plugin_enabled(const String &p_addon, bool p_enabled, bool p_config_changed = false); bool is_addon_plugin_enabled(const String &p_addon) const; + void set_movie_maker_enabled(bool p_enabled); + bool is_movie_maker_enabled() const; + void edit_node(Node *p_node); void edit_resource(const Ref<Resource> &p_resource) { InspectorDock::get_singleton()->edit_resource(p_resource); }; |