On Tue, 19 Nov 2013 06:07:03 -0800 (PST) "Edward K. Ream" <[email protected]> wrote:
> I'll put these guidelines in place today. This will entail creating > leo/config/settingsExamples.leo There will be no @settings node in this > file, so there will be no need to disable any setting there. > > Terry, any comments? Anyone else? /me refrains from commenting about clones :-) I guess I didn't like the demotion of the themes from top level node to buried node with the "(disabled)" text, which I think could be confused with "(not working)". (As far as I know it's working up to its current level of development for everyone but you, Edward ;-) So maybe they could go in leo/config/leoThemes.leo, isolating the contagion ;-) but making them easy to find - particularly if there's a Open Themes in the Help menu. Thinking of which, Help menu's getting crowded: quick_start.leo & cheatsheet.leo - I know they're different, but isn't that confusing? Actually never mind, I can see having both. leoPlugins.leo and scripts.leo - under an Advanced Help submenu perhaps? Cheers -Terry -- 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. For more options, visit https://groups.google.com/groups/opt_out.
