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%).
gsettings set org.gnome.desktop.interface scaling-factor 2
orxrandr --dpi 144
fix it? – Pablo Bianchi Jan 15 '19 at 06:47