From 6082fb464a6399a51dea695c28cb84ff973d8741 Mon Sep 17 00:00:00 2001
From: Maximilian Moser <maximilian.moser@tuwien.ac.at>
Date: Wed, 28 Feb 2024 17:22:01 +0100
Subject: [PATCH] Use comma as thousands separator for numbers in the format
details list
---
formatscaper/resultman.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/formatscaper/resultman.py b/formatscaper/resultman.py
index 38629b9..d8700b0 100755
--- a/formatscaper/resultman.py
+++ b/formatscaper/resultman.py
@@ -194,8 +194,8 @@ def handle_select_format(format: Format, button: uw.Button):
uw.Divider(),
uw.AttrMap(
uw.Text(
- f" {num_files} {_files} in "
- f"{len(relevant_results)} {_records}:"
+ f" {num_files:,} {_files} in "
+ f"{len(relevant_results):,} {_records}:"
),
None,
focus_map="reversed",
--
GitLab