[gnome-shell] clutter.paintCompletedTimestamp: cogl_flush() before glFinish()

[Owen Taylor <otaylor src gnome org>]

commit 83adb2a864af2f2947063d03005482ccade6383c
Author: Owen W. Taylor <otaylor fishsoup net>
Date:   Sat Jul 26 16:45:28 2014 +0200

    clutter.paintCompletedTimestamp: cogl_flush() before glFinish()
    
    Calling glFinish() doesn't give us a reliable timestamp unless we
    flush Cogl rendering to GL first.

 src/shell-global.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/shell-global.c b/src/shell-global.c
index bf38e7d..8a5c9f3 100644
--- a/src/shell-global.c
+++ b/src/shell-global.c
@@ -834,6 +834,7 @@ global_stage_after_paint (ClutterStage *stage,
       if (!finish)
         load_gl_symbol ("glFinish", (void **)&finish);
 
+      cogl_flush ();
       finish ();
 
       shell_perf_log_event (shell_perf_log_get_default (),