windowSize.applescript, from darwin13