My Ubuntu 18.04 came default with a screen scaling of 200% which is great, since everything is teeny-tiny if I set it to 100 %.
However, not all programs seem to respect this setting; see for instance this screenshot I've taken of my terminal to the left, and Arduino on the right:
Icons and text system-wise are fine, but the Arduino window has microscopic icons and tab text. The only reason the text inside the window is okay size, is because I've set font size to 30 pt!
How can I make the Arduino program (and others) respect my 200 % scaling?
EDIT: I don't believe this is a duplicate of a question about fractional scaling, as this is not about fractional scaling, but about some programs not respecting the 200 % scaling set in the screen settings.