On Wed, 13 Mar 2013 15:34:39 -0700 Matt Wilkie <[email protected]> wrote:
> I'm having trouble with active_path too. First off, enabling it in > myLeoSettings did nothing. After enabling it LeoSettings the r-click > context menu appears, however none of the commands seem to have any effect. [@snip] > Each of the "None" reflect the actions of "add `@path something` to body > pane and retry Path >> Show Current Path" I don't think it pays any attention to @path foo in the body alone, I think it needs @path foo in the headline. Only at the top of the tree, after that it just stores directory names in the body. Cheers -Terry > best, > > -matt > > On Wed, Jan 2, 2013 at 10:34 AM, Kent Tenney <[email protected]> wrote: > > > FYI > > > > This hasn't been working for me, so I looked at the code > > a bit instead of just complaining. > > > > I make the following change in active_path.py, cmd_LoadRecursive > > > > -sync_node_to_folder(c,s,path,updateOnly=True,recurse=True) > > +sync_node_to_folder(c,s,path,updateOnly=False,recurse=True) > > > > with updateOnly=False, files are loaded, one directory level at a time, > > which is adequate for my purposes, I'll stop there. > > > > I'm loading a tree of files and using 'nav' to quickly identify strings > > across files, REALLY handy. > > (and the double headline bug in 'nav' is fixed ... cool) > > > > Thanks, > > Kent > > > > -- > > 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. > > > > > -- 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.
