// allow the window to repaint:
// NOTE: since we yield only for UI events with this call, there
// should be no side-effects
// allow the window to repaint:
// NOTE: since we yield only for UI events with this call, there
// should be no side-effects