Double buffering for (hopefully) smoother animation