frankly speaking, this is a hard question. It’s hard to imagine how would the think look like and how practical they would be. On the other hand – if there was a font setting, you could setup custom font or the same font the text editor uses. So I think the second option is much better.
