windowSize.applescript, from darwin11