gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-09-18 21:51:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixed compilation bug

Browse source
This commit is contained in:
Juan Linietsky 2016-05-21 23:20:49 -03:00
parent 62b568ebbf
commit 81fd4598c1
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tools/editor/editor_profiler.h
View file

@ -94,6 +94,8 @@ private:
//int cursor_metric;
int hover_metric;
float graph_height;
bool seeking;
Timer *frame_delay;