On 21 February 2016 at 19:13, Stefan Dösinger stefandoesinger@gmail.com wrote:
Am 2016-02-16 um 14:04 schrieb Henri Verbeet:
I'm not sure it would necessarily be much better, but one alternative would be to make the context do the deletion.
I am not sure what you mean. Do you mean moving the glDeleteRenderbuffers or glDeleteTextures call into context_gl_resource_released and renaming it to something like context_destroy_gl_resource? If that's what you mean I'm open to either option.
Something like that, yeah, or just context_destroy_renderbuffer() and context_destroy_texture(). Similar to things like context_destroy_fbo(), context_bind_texture(), etc.