"Pity you can’t simply change font size in editor **coughfeature "requestcough!**
lol
You’re too fast on the pickup !
I deleted that line a minute after I posted it. 
I thought it would be asking too much. Good thing you caught it and submitted the request. Thanks 