BaseX-Talk Digest, Vol 134, Issue 3

From: Christian Gr?n <christian.gruen at gmail.com> To: Graydon Saunders <graydonish at gmail.com> Cc: BIRKNER Michael <Michael.BIRKNER at akwien.at>, "basex-talk at mailman.uni-konstanz.de" <basex-talk at mailman.uni-konstanz.de> Subject: Re: [basex-talk] Feature requests: Backups, Indexes, Execution Times Message-ID: <CAP94bnN_4iLWvPG+S3C068jPx=0QXH_d1OtZrwJ+RLH-frAC6A at mail.gmail.com> Content-Type: text/plain; charset="UTF-8" Execution times will now be shown in the MM:SS.mm or HH:MM:SS.mm format, but only? ? in the header of the info view, and ? if the measured time exceeds 60 seconds. A new snapshot is available [1]. Have fun, Christian [1] https://files.basex.org/releases/latest/ On Thu, Feb 4, 2021 at 6:15 PM Graydon <graydonish at gmail.com> wrote: > > On Thu, Feb 04, 2021 at 05:21:24PM +0100, Christian Gr?n scripsit: > > > - *Human readable execution times in GUI*: Maybe a small change but > > > - at least in my case - it would make developing performant xQueries > > > much easier: Having the "Timing" section in the Info-View of the GUI > > > display human readable times. Right now, the values are displayed > > > only in milliseconds like 175713.28 ms. But an additional display in > > > a more human readable format, e. g. hh:mm:ss.ms would sometimes be > > > very useful. > > > > > Sounds reasonable and doable. I?ll think about it. > > Please leave the time formatting switchable! I'd strongly prefer > straight milliseconds to a human-readable format. > > -- > Graydon Saunders | graydonish at gmail.com > ??s ofer?ode, ?isses sw? m?g. > -- Deor ("That passed, so may this.") End of BaseX-Talk Digest, Vol 134, Issue 3 ******************************************