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