Hacker News new | ask | show | jobs
by fragmede 1632 days ago
I got this working by fiddling with `xrandr --output HDMI1 --scale 1.3x1.3` on the command line.