Ville,
Is this the same as File->Read Write->Read @auto nodes? That read @auto 
nodes seems to always complain about inconsistent state and put the new 
read in @ignore.
I will give the refresh a try. Is there a command line as well or is this 
rclick only?
Thanks.

On Thursday, October 18, 2012 12:24:50 PM UTC-7, Ville M. Vainio wrote:
>
> For question 2, rclick on the @auto node and choose 'refresh from disk'.
>
> Q1 has been discussed previously, without conclusion to implement the 
> feature (so far)
> On Oct 18, 2012 9:17 PM, "F.S." <[email protected] <javascript:>> wrote:
>
>> I really like @auto. I can just define functions/classes without worrying 
>> about creating nodes for each. But it would be nice to be able to manually 
>> annotate as well. For example to broadly group nodes together or even to 
>> clone nodes. Is there any way to combine the best of both worlds? Ideally 
>> users can create meta information about a file and store it in .leo 
>> outline. And Leo can take advantage of such meta information when parsing 
>> in the @auto nodes and add the user annotation on top of the structural 
>> information inherent in the file.
>>
>> Also I don't seem to be able to re-read @auto nodes from files after I 
>> make updates. It would be nice to be able to see the new functions/classes 
>> in the outline pane without having to close the outline file and restart.
>>
>>  -- 
>> You received this message because you are subscribed to the Google Groups 
>> "leo-editor" group.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msg/leo-editor/-/kw-VFioDREgJ.
>> To post to this group, send email to [email protected]<javascript:>
>> .
>> To unsubscribe from this group, send email to 
>> [email protected] <javascript:>.
>> 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 view this discussion on the web visit 
https://groups.google.com/d/msg/leo-editor/-/XRQO_VSadqgJ.
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.

Reply via email to