I spent a lot of time searching for the answer but could not get it. I have a 4K monitor connected to a 15" rMBP from late 2012 with Mavericks. Display works fine at it's native resolution at 30Hz, but everything is too tiny. How do I make it HiDPI? I see only non-HDPI resolutions in display options.