diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-29 09:54:59 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-29 09:55:07 +0100 |
| commit | 09212fba1ebbb29595456b01bf25c0ca80592a2d (patch) | |
| tree | 4fe74909f95d303bd3814291fa67fa03267a0b4a /editor | |
| parent | c6e9d912e129373d81e6610a3733ffc7fb7a146b (diff) | |
Fix missed renamings from empty() to is_empty()
Those were missed in #44401 or added by later PRs.
Diffstat (limited to 'editor')
| -rw-r--r-- | editor/debugger/editor_visual_profiler.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/debugger/editor_visual_profiler.cpp b/editor/debugger/editor_visual_profiler.cpp index d7a09d6b0c..8e8edbbe9a 100644 --- a/editor/debugger/editor_visual_profiler.cpp +++ b/editor/debugger/editor_visual_profiler.cpp @@ -666,7 +666,7 @@ bool EditorVisualProfiler::is_profiling() { Vector<Vector<String>> EditorVisualProfiler::get_data_as_csv() const { Vector<Vector<String>> res; #if 0 - if (frame_metrics.empty()) { + if (frame_metrics.is_empty()) { return res; } |