Hi Terry, Many thanks for your work on the dark theme. I noticed that the behaviour of the theme is affected by it's up/down position in the @settings tree: If before 'Plugins' it is pale (but boxes are dark), after 'Plugins' it's dark all over as intended. It may be helpful to document the behaviour.
A question for Edward - Clicking the menu Help>Open leoSettings.leo and Help>Open myLeoSettings.leo operates as an immediate toggle between the custom and default leosettings. Is that toggle intended? I would have expected that leo should behave according to the users preferred settings in their myLeoSettings.leo file. Regards Lewis -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
