Comment by thataccount

2 days ago

Ah. That would have been good to know! I was looking mostly in the interface for a font size tweaker of some kind.

0 comments