On Mon, 17 Jul 2017 16:07:36 -0500 "Edward K. Ream" <[email protected]> wrote:
> On Mon, Jul 17, 2017 at 3:42 PM, Terry Brown <[email protected]> > wrote: > > > it would take up a bunch of scree > n space. > > How about reporting just the time of the save-file command or the > write-all-at-file-node command? > > Edward Might be confusing if you end up with 12:23:45 wrote: base.py wrote: test_views.py saved: joyroost.leo 12:33:45 wrote: test_views.py saved: joyroost.leo 12:43:45 wrote: test_views.py saved: joyroost.leo wrote: models.py 12:53:45 which time applies to which file? What about a with_time kwarg for g.es() (or whatever it is) that could be set True for the calls that write the 'wrote:' and 'saved:' lines, if @bool log_show_save_time == True? Easy to use for other things too then. i.e. it would print 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 Cheers -Terry -- 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.
