On Wed, Jan 10, 2018 at 09:25:04AM -0600, Sean Smith wrote:
I have no idea how. All I can find is the Hi-DPi settings in Gnome-Tweak but, of course, it only lets me choose to scale from "1" to "2" which makes things way too big.
It's better to not top post if possible. :)
There is an xrandr scale command as well. If for example, your output is eDP1 then xrandr --output eDP1 --scale .8x.8
The smaller the scaling, the larger the size, so I think that .5x.5 would be what the tweak tool is offering.