On Mon, Oct 12, 2020 at 10:00 AM Rob <larg...@gmail.com> wrote: > I actually disabled themes 2 years ago (the theme setting is under an @ignore node now). I manage the appearance now using Qt GUI settings (@color, @font, etc.)
In that case, you should definitely set @string theme-name = None in your myLeoSettings.leo. Let me know if that doesn't work for you. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2GGDeFrJDh48wem%2B0x6hseQQdbhswhbf8LZuxZ_K_2HQ%40mail.gmail.com.
