On Wednesday, July 21, 2021 at 9:46:32 AM UTC-5 [email protected] wrote: Second, the zoom steps are too large. >
Zoom steps are floats, not int! At present I use: Theme: Github dark high contrast. Zoom level: 1.5 Editor font: 'DejaVu Sans Mono' (with the single quotes) Editor font size: 14. The result is *very* close to the look I get in Leo. 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/a4eb432a-65fc-4727-ba17-54c3903cfd0bn%40googlegroups.com.
