public void Dispose()
{
if (ShaderID != 0)
{
Gl.DeleteShader(ShaderID);
this.ShaderID = 0;
}
}
protected virtual void Dispose(bool disposing)
{
if (ShaderID != 0)
{
Gl.DeleteShader(ShaderID);
ShaderID = 0;
}
}
protected override void Release() => Gl.DeleteShader(_hdc);
/// <summary>
/// Delete a ShaderObject name.
/// </summary>
/// <param name="ctx">
/// A <see cref="GraphicsContext"/> used for deleting this object name.
/// </param>
/// <param name="name">
/// A <see cref="UInt32"/> that specify the object name to delete.
/// </param>
protected override void DeleteName(GraphicsContext ctx, uint name)
{
// Delete shader object
Gl.DeleteShader(name);
}