Linux/ModelSim: can't access Tools > Edit preferences

I've just run up the altera-18.0 ModelSim starter edition for the first time, on Centos/RH 6.10, Gnome. I'm on a HiDPI (4K) display and the output is too small to be comfortable. As a first step, I'...