I’m running the desktop app on xUbuntu (xfce) 18.04. Is there a way to change the font size and make it larger?
I know it’s bad form to reply to your own posts, but I just discovered that -+ worked. How embarrassing!
It’s not bad form at all. Thanks for sharing!
That should say Control-+. I tried to enclose ctrl in less-than and greater-than and it became a “tag” (I think that’s the right word.)