From 3283929b5185a0c793bd43b935ffe9efc83e6ac9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ricardo=20Montan=CC=83ana?= Date: Fri, 25 Feb 2022 13:03:45 +0100 Subject: [PATCH] Add decimals to score in list and time sort criterion --- src/Results.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Results.py b/src/Results.py index aabe7d3..049c5c3 100644 --- a/src/Results.py +++ b/src/Results.py @@ -732,7 +732,7 @@ class Summary: + " " + "=" * max_file + " " - + "=" * 7 + + "=" * 8 + " " + "=" * 7 + " " @@ -743,7 +743,7 @@ class Summary: [ (TextColor.LINE2 if n % 2 == 0 else TextColor.LINE1) + f"{x['date']} {x['file']:{max_file}s} " - f"{x['metric']:7.3f} " + f"{x['metric']:8.5f} " f"{x['duration']/3600:7.3f} " f"{x['title']}" for n, x in enumerate(data)