diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-06-20 08:39:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-20 08:39:18 +0200 |
commit | a9acdd84b7a6fd074f21d500a64976326f6cbb67 (patch) | |
tree | bc5639787df66ca06738486915232e48c627fc7b | |
parent | d433310580e6fd5263abac2db7fb4c86d969e98e (diff) | |
parent | 34045051d29a94797415e693204862ddf155f564 (diff) |
Merge pull request #19662 from marcelofg55/profiler_update
Fix profiler not updating on realtime
-rw-r--r-- | editor/editor_profiler.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editor/editor_profiler.cpp b/editor/editor_profiler.cpp index 34c9ca6630..fcd3dc2f68 100644 --- a/editor/editor_profiler.cpp +++ b/editor/editor_profiler.cpp @@ -68,13 +68,13 @@ void EditorProfiler::add_frame_metric(const Metric &p_metric, bool p_final) { } updating_frame = false; - if (!frame_delay->is_processing()) { + if (frame_delay->is_stopped()) { frame_delay->set_wait_time(p_final ? 0.1 : 1); frame_delay->start(); } - if (!plot_delay->is_processing()) { + if (plot_delay->is_stopped()) { plot_delay->set_wait_time(0.1); plot_delay->start(); } |