Rev 01786ad contains what I hope will be much clearer themes. Both leoSettings.leo and themes.leo contain the same Themes node. It contains simplified instructions for making themes active.
Please report any problems immediately. Unless problems are reported, I will close #350 <https://github.com/leo-editor/leo-editor/issues/350> after updating documentation. Afaik, no substantive changes have been made to the various themes themselves, but it's hard to know for sure. (See below). If you are using themes at present, I highly recommend not changing anything ;-) themes.leo is (mostly) for developers. It has been improved as follows: 1. The new *make-theme button* replaces the old way of selecting the "stylesheet & source" node and executing the script therein. 2. @stylesheet nodes are the data for the make-theme button. 2. Organizer nodes make clear that a theme consists of: - Settings nodes. - An optional @stylesheet node. - Zero, one or two @data nodes. For each @theme, I have run, one last time, the "stylesheet & source" script. The result is the disabled @@data qt-gui-plugin-style-sheet node. You can compare it to the enabled @data qt-gui-plugin-style-sheet node. There shouldn't be any substantive changes, but again, it's hard to know. At present, the Attic node contains the old themes for reference. They may as well stay there indefinitely. Edward P.S. I have chosen not to create a copy-theme @button script. Enabling a theme should be straightforward enough without it. EKR -- 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.
