windowSizeAll.applescript, from darwin11