public static void DeleteTexture(/* final */ GL10 pGL, /* final */ int pHardwareTextureID) { GLHelper.HARDWARETEXTUREID_CONTAINER[0] = pHardwareTextureID; pGL.GlDeleteTextures(1, GLHelper.HARDWARETEXTUREID_CONTAINER, 0); }
public static void DeleteTexture(/* final */ GL10 pGL, /* final */ int pHardwareTextureID) { GLHelper.HARDWARETEXTUREID_CONTAINER[0] = pHardwareTextureID; pGL.GlDeleteTextures(1, GLHelper.HARDWARETEXTUREID_CONTAINER, 0); }