- glClear(GL_COLOR_BUFFER_BIT|GL_DEPTH_BUFFER_BIT);
- glUseProgram(view.programs[0]);
- glDrawElements(GL_TRIANGLE_STRIP, view.nelements, GL_UNSIGNED_SHORT, (void *)(12*sizeof(unsigned short)));
- glUseProgram(view.programs[1]);
- glDrawElements(GL_LINE_STRIP, 11, GL_UNSIGNED_SHORT, NULL);
- glXSwapBuffers(display, view.glx_window);
+ if(repaint)
+ {
+ glClear(GL_COLOR_BUFFER_BIT|GL_DEPTH_BUFFER_BIT);
+ glUseProgram(view.programs[0]);
+ glDrawElements(GL_TRIANGLE_STRIP, view.nelements, GL_UNSIGNED_SHORT, (void *)(12*sizeof(unsigned short)));
+ glUseProgram(view.programs[1]);
+ glDrawElements(GL_LINE_STRIP, 11, GL_UNSIGNED_SHORT, NULL);
+ glXSwapBuffers(display, view.glx_window);
+ }