protected void swapBuffersImpl() {
GLX.glXSwapBuffers(getNativeWindow().getDisplayHandle(), getHandle());
}
/**
* Swaps the front and back color buffers.
*
* @exception SWTException
* <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
* </ul>
*/
public void swapBuffers() {
checkWidget();
int /*long*/ window = OS.GTK_WIDGET_WINDOW(handle);
int /*long*/ xDisplay = OS.gdk_x11_drawable_get_xdisplay(window);
GLX.glXSwapBuffers(xDisplay, xWindow);
}