On Mon, Apr 8, 2013 at 10:41 AM, Matt Wilkie <[email protected]> wrote:
> Thanks for the summary and pics, the time stamp stuff sounds very
> intriguing.

As it stands, enabling the timestamp.py plugin does the following:

- sets 3 event hooks
  - event 'new': when a Leo file is created
  - event 'create-node': when a new node is created
  - event 'select1': when focus changes

the functions called by these hooks write 3 attributes to the UA dict
which is a member of the vnode: p.v.u
- str_ctime: time the node was created
- str_mtime: time the node was last modified
- str_atime: time the node was last viewed  (got focus / accessed)
  - this is probably buggy, I think it is set any time the headline is selected
    the intent is that it doesn't change unless focus goes to the body.
    I don't know how to do this differentiation

The events fire for every node in every file opened by that Leo session.

nodes in a transient tree, like @auto, will be calculated but can't persist
across editing sessions without building something outside the Leo file.

The timestamp format is a verbose iso standard:
2013-04-06T18:00:00

The file is not in the bzr repo yet.

Comments?

Thanks,
Kent

>
> With regards to "hoping screenshot taker isn't in the code base somewhere",
> c.f. the Screencast Plugin is related, though perhaps not a duplicate(?)
> https://groups.google.com/forum/?fromgroups=#!topic/leo-editor/gpp8DAjUsbo
>
> Seeing as I was greeted with a momentary "boot device not found" message the
> other morning, the Butterfield Backup recommendation is timely. Thanks! ;-)
>
> -matt
>
> --
> 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.
>
>

-- 
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.


Reply via email to