Fix width computation in Progress Formatter

Marc Chevalier · jonathanslenders · commit 02fa48540fc7 · 2019-04-05T10:49:53.000+02:00
It used to print with replacement field {:&gt;3} but compute width with {}.
Consequently, short numbers (&lt;= 2 digits) were computed to have length
less than or equal to 2 wut printed as 3 characters, and so, not
displayed.
diff --git a/prompt_toolkit/shortcuts/progress_bar/formatters.py b/prompt_toolkit/shortcuts/progress_bar/formatters.py
@@ -168,7 +168,7 @@ def format(self, progress_bar, progress, width):
             total=progress.total or '?')
 
     def get_width(self, progress_bar):
-        all_lengths = [len('{0}'.format(c.total)) for c in progress_bar.counters]
+        all_lengths = [len('{0:>3}'.format(c.total)) for c in progress_bar.counters]
         all_lengths.append(1)
         return D.exact(max(all_lengths) * 2 + 1)
 
