GNOME Bugzilla – Bug 723624
Add a setting for the GDK scaling factor
Last modified: 2014-03-26 20:41:45 UTC
As we have hidpi support in GTK+ 3.10+, and we know for sure the heuristics aren't 100% (they never are - see #709859 ) it would probably be a good idea to add a notched slider or something to gnome-tweak-tool which controls whatever combination of settings that are changed by the hidpi code - at least the GDK scaling factor, per http://blogs.gnome.org/alexl/2013/06/28/hidpi-support-in-gnome/ , but from the tweaks people have to do in #709859 to get things "back to normal" there may be others. I'm assuming it'd just have maybe 2 or 3 positions, for normal behaviour, doubling (and optionally tripling, though I don't think there's a display in the real world that you'd want to run GNOME on which is anywhere near 288dpi, so we can probably skip tripling). This obviously isn't a "real" fix for the problem, but we already know a few people are running into it on 3.10 and even with the planned improvements I know the new heuristic won't be perfect, so it seems like a useful setting to have around somewhere.
Actually, per Sven: 2560x1600 @ 10 Google Nexus 10 = 300.24 PPI 3200x1800 @ 13.3 Samsung Ativ Q = 276.05 PPI 2560x1600 @ 8.9 Kindle Fire HDX 8.9 = 339.2 PPI(!) so, I guess we need tripling.
Why gnome-tweak-tool? The first place anyone will go is the gnome control center display settings. That's where they ought to find a way to fix this. Most distros don't even install the tweak tool by default.
Please don't turn yet another bug report into a talking shop. This is a straightforward feature request for a specific component. I filed it, and I want the setting in gnome-tweak-tool. If you want it somewhere else, file your own report.
Thanks for the report - I actually meant to add this after GUADEC but forgot!
ping?
This problem has been fixed in our software repository. The fix will go into the next software release. Thank you for your bug report. 3.12 yay