That implies that the WEBGL_lose_context extension is used to restore the context, of course. More complex control flow involving catching the webglcontextlost event will be needed in order to support this.