On Mon, Jul 17, 2017 at 5:02 PM, Terry Brown <[email protected]> wrote:

​​
> 07:31:20 wrote: base.py
> 07:31:20 wrote: test_views.py
> 07:31:20 saved: joyroost.leo
> 07:38:20 wrote: test_views.py
> 07:38:20 saved: joyroost.leo
> 07:42:18 wrote: test_views.py
> 07:42:18 saved: joyroost.leo
>

​Looks good. g.es need not change. The timestamp is the caller's
responsibility.

See #531: Optionally report timestamp when issuing file-related messages
<https://github.com/leo-editor/leo-editor/issues/531>


Edward

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to