[happymellon]

Which is fine. As I already mentioned, even if they just had a text scaling which applied to all the editors so I didn't have to keep doing it every time I opened a file that would be a massive QOL improvement.