display_manager ->redraw: Flush all pending changes to the screen. Called from the top-level event
loop to repaint windows queued in
@changed_windows; may be overridden for special event-loop
hooks.
- See also
- - display
->flush
- display->synchronise
- graphical->compute