https://mdhughes.tech/2018/11/29/resize-windows-with-applescript/