I noticed there are two ways you can set a default font.
- I found I can use
EditorView.theme(), but that relies on setting HTML/CSS classes
- Or I can use
tags.contentwhich styles paragraphs.
- Or I can set
I know I achieve different results, because the highlighting happens differently.
But my question is - is there some kind of performance overhead to it? Is there any reason at all to prefer
EditorView.theme() or is using