UI: avoid flickering through double-buffering.