diff --git a/tools/editor/editor_profiler.h b/tools/editor/editor_profiler.h index aca32207179..f5cea118cec 100644 --- a/tools/editor/editor_profiler.h +++ b/tools/editor/editor_profiler.h @@ -94,6 +94,8 @@ private: //int cursor_metric; int hover_metric; + float graph_height; + bool seeking; Timer *frame_delay;