private void PlatformGraphicsDeviceResetting() { if (_shaderHandle != -1) { if (GL.IsShader(_shaderHandle)) { GL.DeleteShader(_shaderHandle); GraphicsExtensions.CheckGLError(); } _shaderHandle = -1; } }