Platform: implicitly call redraw() after screen swapping.