Implement window.onclose event, which happens just before window close.
treec2a2009c45edd27ec15146104a4f36b70e1a3b2a
-rw-r--r-- 35147 COPYING
drwxr-xr-x - incoming
-rwxr-xr-x 1150 mktar.pl
drwxr-xr-x - patches
drwxr-xr-x - src