We all know that there are editor preferences that affect the editor’s font family, font size, etc. I think that there should be export preferences as editor preferences to affect the exported file’s font family, font size, etc. What do you think about that?
Actually, I was confused about whether editor preferences would affect the style of exported files on Bear 1.0.