On Sun, Nov 26, 2017 at 1:12 PM, Terry Brown <terrynbr...@gmail.com> wrote:
I've attached my dark theme as a .zip file here: > https://github.com/leo-editor/leo-editor/issues/595 ​Thanks Terry. Initially, this didn't work for me, but it was a good clue. I moved various theme-related tress to *before* the @settings tree, ensuring that they could not possibly affect settings. After doing that, both your theme (@theme leo_dark theme 0)_ and mine (@theme windows ekr dark theme) worked. In short: to completely disable settings, move them *in front of* the @settings node. 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 post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
