On Tue, May 2, 2017 at 11:11 AM, Infirit <infi...@gmail.com> wrote: > there is a nice arch wiki page on hidpi which deals with scaling > under many DEs including gnome. https://wiki.archlinux.org/index.php/HiDPI
Infirit, thank you for the reference, though the zooming bug is on the other end of the spectrum. I tried GDK_SCALE nonetheless to no effect. The wiki page deals with HiDPI and the problem I'm referring to is the opposite, when the screen is smaller than GTK3 would like it to be so GTK3 resorts to a blurred out zoom-out of the interface. Surely there must be a way to disable zooming in favor of scaling (not dpi, not zoom), just plain resizable interface scaling as available since the days of GTK1. _______________________________________________ gtk-list mailing list gtk-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-list