On Jun 18, 2013, at 3:45 PM, Gregg Tavares <email@example.com> wrote:
IMO if it is specified somewhere when the real deletion happens (flush ?) then behaving like GL might be better performance wise.
Otherwise without a clear deterministic place to know when the resources are deleted for sure, I would say it would be more explicit that the resource is deleted right away. (at least appears so in WebGL).