diff options
| author | halgriffiths <henrygriffiths@improbable.io> | 2022-09-06 16:15:00 +0100 |
|---|---|---|
| committer | halgriffiths <henrygriffiths@improbable.io> | 2022-09-13 10:21:11 +0100 |
| commit | 026e0811b95dc94df7eb7dbbdfde36d7d2d8fb0d (patch) | |
| tree | 531994d4cabc06d647ac0c5abc0e674773da0f61 /editor/debugger/editor_profiler.h | |
| parent | 0f62e357e0868ce7e7f822379027d86dd927dbca (diff) | |
Fix profiler being disabled at wrong times
Co-authored by: Will Whitty <tavurth@gmail.com>
Diffstat (limited to 'editor/debugger/editor_profiler.h')
| -rw-r--r-- | editor/debugger/editor_profiler.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/editor/debugger/editor_profiler.h b/editor/debugger/editor_profiler.h index df92125258..e9ecc285ed 100644 --- a/editor/debugger/editor_profiler.h +++ b/editor/debugger/editor_profiler.h @@ -122,6 +122,7 @@ private: Timer *frame_delay = nullptr; Timer *plot_delay = nullptr; + void _set_button_text(); void _update_frame(); void _activate_pressed(); @@ -153,7 +154,7 @@ protected: public: void add_frame_metric(const Metric &p_metric, bool p_final = false); - void set_enabled(bool p_enable); + void set_enabled(bool p_enable, bool p_clear = true); bool is_profiling(); bool is_seeking() { return seeking; } void disable_seeking(); |