3 ms·

cmd + (or whatever the equivalent is for your platform) seems to permanently increase the font size.

• bachmeier 3y ago
  Tried it, but it didn't work for me.