Shaun Mason
Active member
Is there going to be a way to add new font families?
I notice in the editor two of my personal favorites (Consolas and DejaVu Sans Mono) are not options.
It isn't a big issue, but I am curious (and I wanted to actually post for the first time).=)
Thank you,
Shaun
I notice in the editor two of my personal favorites (Consolas and DejaVu Sans Mono) are not options.
It isn't a big issue, but I am curious (and I wanted to actually post for the first time).=)
Thank you,
Shaun
Upvote
0