Since we are using double buffering, we post the updated display with the call

     glutSwapBuffers();

Note that this call is used in place of the call to glFlush.