Hi Lestatdelc, thanks for the bug report!

> EDIT: In playing around some more, it seems that the increasing font size issue is a
> bug wherein anytime you select a new face, it incrementally increases the font size
> automatically.

I'm able to repeat this over here on the Mac version, are you seeing it on Mac or Windows over there? I'll investigate it.


> It would also be a real boon to be able to delete any customized font setting so that it goes back to the default UI font setting.

I'm not quite sure how to do this, I don't think there is anything set up in the font dialog to represent a "delete setting" choice.


Thanks, - Michael