HiDPI scaling improvements
Submitted by Michael Kuhn
Link to original bug (#741735)
Description
GNOME-Tweak-Tool currently (3.14.x) sets the scaling factor using "org.gnome.settings-daemon.plugins.xsettings overrides". However, it might be a good idea to also set "org.gnome.desktop.interface scaling-factor", otherwise the window contents are scaled while GNOME Shell is not.