unless check-window-size() {
    # What if, after the check above, but before the react below, the window
    # size is increased and the $remote-window-change event is fired?
    # I then might wait forever, even though the window is already large enough.
    react whenever $remote-window-change.Supply {
        if check-window-size() {
            done;
        }
    }
}