0

I am using Ubuntu 18.10 with Gnome Desktop on a UHD laptop display. My system's fonts have generally been tweaked using the font scaling in Gnome Tweak Tools, but this has had no effect on OpenSCAD which has an unreadably small interface font.

How can I change the font size without effectively lowering the screen resolution (e.g., without using Settings>Devices>Display>Scale>200%).

1
  • Does gsettings set org.gnome.desktop.interface scaling-factor 2 or xrandr --dpi 144fix it? Jan 15, 2019 at 6:47

1 Answer 1

0

I found an answer in the run-scaled script mentioned here: Solution for apps that don't scale on HiDPI displays.

Not the answer you're looking for? Browse other questions tagged .