# -rw-r--r-- 375 bytes View raw
                                                                                
1
2
3
4
5
6
7
8
9
10
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;
        }
    }
}