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.")