From 81fd4598c1e436c9dfe7951b1f829ff68045103b Mon Sep 17 00:00:00 2001 From: Juan Linietsky Date: Sat, 21 May 2016 23:20:49 -0300 Subject: [PATCH] fixed compilation bug --- tools/editor/editor_profiler.h | 2 ++ 1 file changed, 2 insertions(+) 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;