On Thu, Mar 17, 2022 at 12:17 PM [email protected] <[email protected]> wrote:
> Most if not all Leo themes I have seen use the same fonts (and usually > font sizes) for most of the visual elements, such as the tree and menu > bars. And that font will invariably be a monospaced programming font, as > is used for the body text. Heh. You have found a big blind spot. I agree that UI fonts would be good to use. 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/CAMF8tS3CDv5U9x5CPKJby5Ln1iRXML%3DkS4-dD4AvVfT-b3_nBg%40mail.gmail.com.
