Default Font Type and Size

[tgrmth]

After a quick search, I see that being able to change the default font size and type was not possible on beta versions.

Is that going to change soon? It's a bit of a pain having to change the font every time I enter a snippet.

This is a minor complaint since the software is waaaaay beyond what even my high expectations were. Good job folks! It was well worth the wait.