Handy workflow to change between available screen resolutions, even between normal and HiDPI mode (Retina).