More HiDPI Changes Land For GNOME 3.12

As a quick update to the HiDPI support on top of yesterday's article about GNOME Shell 3.12 getting last minute HiDPI improvements, more work has landed today for supporting high-resolution Retina displays within this next GNOME desktop environment update...