Good job, I want it! 在 2017年7月18日星期二 UTC+8上午6:03:00，Terry Brown写道： > > On Mon, 17 Jul 2017 16:07:36 -0500 > "Edward K. Ream" <[email protected] <javascript:>> wrote: > > > On Mon, Jul 17, 2017 at 3:42 PM, Terry Brown <[email protected] > <javascript:>> > > 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.
