On Tue, Feb 14, 2023 at 10:50 PM Thomas Passin <[email protected]> wrote:

> Leo uses a mono-spaced font for body text.


Happy, this statement is not correct. Unless I am mistaken, Leo can already
do what you want.

Leo's syntax colorer sets fonts, and those fonts can depend on @language.

Please refer to leoSettings.leo#@settings-->Syntax coloring,
especially the subnode: Language-specific fonts and colors

I suspect that adding a node @font rest fonts will suffice.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS023GGtB7%2B0%3DrGC2KVfi0iuH9%3DKRcMomY%2BeYcx3Qd%2BLGQ%40mail.gmail.com.

Reply via email to