@ekr: "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."
My statement was oversimplified - the body font is normally set in the stylesheet and it could be chosen to be a non-monospaced font. -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/0c76511c-652e-440b-930e-3acb8922e068n%40googlegroups.com.