Nowadays everything is buffered and composed, so we have to request that
the widget should be repainted later.