The video player: Double buffering

We use double buffering and/or page flipping as Wikipedia calls it. It is crucial that we can update the non-visible page over time, while the user can look at something decent in the meantime.

Specifically, we alternate between page 0 and page 1 when showing the video to the user. 

< Combine images | Double buffering | Diff based rendering >