gl: glx:swap-buffers already does a gl:flush.

diff --git a/src/gl/gl-glx.scm b/src/gl/gl-glx.scm
index 26d3cd2ca7f64b01a7a4d59fad57835e46f1ac2a..aaf4d9c621a3675cc2b1f886244b4a68e00dfc6f 100644 (file)
--- a/src/gl/gl-glx.scm
+++ b/src/gl/gl-glx.scm
@@ -269,7 +269,6 @@ USA.
       (gl:clear 'COLOR-BUFFER 'DEPTH-BUFFER)
       (glx-viewport-draw widget)
       (glx:swap-buffers widget)
-      (gl:flush)
       #t)))
 
 (define-generic glx-viewport-draw (widget))

diff --git a/src/gl/gl-glxgears.scm b/src/gl/gl-glxgears.scm
index f725055eeefb6dcb722da200b10e98f4d385ea03..4915f71ad6db3ebc4da0678ff4a849938a5e25d3 100644 (file)
--- a/src/gl/gl-glxgears.scm
+++ b/src/gl/gl-glxgears.scm
@@ -256,9 +256,7 @@ USA.
     (lambda ()
       (draw widget)
       (%trace2 "swap-buffers")
-      (glx:swap-buffers widget)
-      (%trace2 "flush")
-      (gl:flush)))
+      (glx:swap-buffers widget)))
   (if (and (glxgears-demo-animate? widget)
           (glxgears-demo-report-fps? widget))
       (let ((now (glxgears-demo-frame-start widget))