On Sun, Aug 15, 2010 at 3:12 PM, taa, Leo Newbie <[email protected]> wrote:
> In the "About this file" section of leoSettings.leo, there's a > headline with "\...@ignore comment" and the body says, "Leo ignores > subtrees of @settings trees whose headline starts with @ignore." So > I'm confused by the statement, "support for @ignore could be added" > when "Leo ignores..." seems to be saying support is already there. What's happening is that I forgot the details of how @ignore works. It's possible that it works a bit differently with @menu trees. When in doubt, believe what you see, not what I tell you :-) Imo, this is too minor an issue to worry much about. Changing @x to @@x is guaranteed to work. Moving subtrees out of the @setting tree is also guaranteed to work. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
