public void pushAttrib(GL2 gl, uint mask)
 {
     gl.PushAttrib(mask);
     this.attribsPushed = true;
 }