}
// */
////////////////////////////////////
// gl.glDepthMask(true); //Disabled to avoid too many state switches,
gl.glDisable (GL.GL_STENCIL_TEST); //Disabled to avoid too many state switches
gl.glEndList();
returnVal[0] = listIDFill;
//////////////////////////////
// Draw aliased outline //
//////////////////////////////