Add a window.select() method.
treee53676c5f1a04eba9fcd331974917a97dc9e52b5
-rw-r--r-- 35147 COPYING
drwxr-xr-x - incoming
-rwxr-xr-x 1150 mktar.pl
drwxr-xr-x - patches
drwxr-xr-x - src