You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-11 13:10:58 +00:00
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).
This commit is contained in:
@@ -224,6 +224,12 @@ void EditorDebuggerNode::stop() {
|
||||
if (server.is_valid()) {
|
||||
server->stop();
|
||||
EditorNode::get_log()->add_message("--- Debugging process stopped ---", EditorLog::MSG_TYPE_EDITOR);
|
||||
|
||||
if (EditorNode::get_singleton()->is_movie_maker_enabled()) {
|
||||
// Request attention in case the user was doing something else when movie recording is finished.
|
||||
DisplayServer::get_singleton()->window_request_attention();
|
||||
}
|
||||
|
||||
server.unref();
|
||||
}
|
||||
// Also close all debugging sessions.
|
||||
|
||||
Reference in New Issue
Block a user