This is part of #1663 <https://github.com/leo-editor/leo-editor/issues/1663>. I may "refactor" that issue into separate pieces.
The new code is in devel. You can test it by temporarily removing your myLeoSettings.leo. The new code enables DefaultTheme.leo by default, and makes DefaultTheme a dark theme: - leoSettings.leo now contains @string theme-name = DefaultTheme - DefaultTheme.leo is the same as EKRDark.leo, except for a smaller font size. Imo, the new default look is significantly better than the old "light" look. *Remaining questions* What should the default fonts be? At present, the default font is DejaVu Sans Mono, which may be problematic on some platforms. DefaultTheme.leo contains a top-level clone for the "Fonts & text sizes" organizer node, so it is easy to see these settings, but newbies probably won't know that. Your comments please, Amigos. 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/8f40ea32-9d5b-4272-941d-6f794cb54f67o%40googlegroups.com.
