On Sun, Mar 18, 2018 at 4:29 PM, Edward K. Ream <[email protected]> wrote:
Leo now supports >> >> @string theme-name=name. This has about the same effect as --theme=name. >> The command-line option takes precedence if both are specified. >> > Rev b889f10 makes both --theme and @string theme-name work properly by updating all settings from the theme file immediately after reading myLeoSettings.leo. Updating the settings early in the load process ensures that *all* settings take effect for all loaded files. In particular, the new code inits syntax coloring colors correctly. I have confidence that the new scheme is sound. All the new code resides in the LoadManager class where it belongs. *Still to do* 1. Various straightforward cleanups of the StyleSheetManager class. 2. It is now obvious that the present Themes menu is a fake. Yes, loading themes is glitzy, but syntax colors are not updated properly. Imo the Themes menu should just demo themes by opening the selected theme file in a new process. This will load all settings properly and should be completely accurate representation of the theme. I expect to complete the remaining work soon. It's time to move on. 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
