public void pushClientAttrib(GL2 gl, uint mask) { gl.PushClientAttrib(mask); this.clientAttribsPushed = true; }