* Get performance information from the GPU using GL timers * Avoid using glFinish() for the profiler * Display max( cpu time , gpu time ) in the profiler window
(see previous log message)