Berthold Stoeger 2e6d65ef08 profile: add local time to profile tooltip
This is a user request: add local time of dive to the tooltip.

Showing a localized time was surprisingly complex. First I had
to add a function that decomposes a timestamp into h/m/s. Then
the QLocale time-string has to be stripped of the timezone.

Fixes #3469.

Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
2022-07-31 22:37:23 +02:00
..
2022-03-13 15:07:33 -07:00
2021-10-30 20:22:52 -07:00
2017-04-29 13:32:55 -07:00
2020-10-24 09:51:37 -07:00
2021-07-23 11:22:43 -07:00
2020-09-29 16:13:03 -07:00
2021-10-01 08:50:36 -07:00
2021-10-01 08:50:36 -07:00
2022-01-02 13:51:07 -08:00
2021-07-23 11:22:43 -07:00
2018-10-21 19:55:09 +03:00
2022-03-12 08:28:32 -08:00
2021-07-23 11:16:00 -07:00
2019-12-13 07:04:00 -05:00
2017-04-29 13:32:55 -07:00
2020-03-10 17:42:54 -07:00
2020-03-10 17:42:54 -07:00
2020-05-03 15:02:21 -07:00
2022-06-04 14:19:05 -07:00