Hi, Please, how these queries should be helpful in my journey for learning BaseX ? Best regards, Ismael

Send BaseX-Talk mailing list submissions to     basex-talk@mailman.uni-konstanz.de

To subscribe or unsubscribe via the World Wide Web, visit     https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk or, via email, send a message with subject or body 'help' to     basex-talk-request@mailman.uni-konstanz.de

You can reach the person managing the list at     basex-talk-owner@mailman.uni-konstanz.de

When replying, please edit your Subject line so it is more specific than "Re: Contents of BaseX-Talk digest..."

Today's Topics:

1. Re: Feature requests: Backups, Indexes, Execution Times       (Christian Gr?n)

----------------------------------------------------------------------

Message: 1 Date: Sat, 6 Feb 2021 11:12:01 +0100 From: Christian Gr?n christian.gruen@gmail.com To: Graydon Saunders graydonish@gmail.com Cc: BIRKNER Michael Michael.BIRKNER@akwien.at,     "basex-talk@mailman.uni-konstanz.de"     basex-talk@mailman.uni-konstanz.de Subject: Re: [basex-talk] Feature requests: Backups, Indexes,     Execution Times Message-ID:     CAP94bnN_4iLWvPG+S3C068jPx=0QXH_d1OtZrwJ+RLH-frAC6A@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@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@gmail.com ??s ofer?ode, ?isses sw? m?g. -- Deor  ("That passed, so may this.")

End of BaseX-Talk Digest, Vol 134, Issue 3 ******************************************