widgets: add a custom progress bar
commitd98e54c5248ffbf50c8e5629aed71318e3af3e2b
authorDavid Aguilar <davvid@gmail.com>
Tue, 5 Sep 2023 10:46:51 +0000 (5 03:46 -0700)
committerDavid Aguilar <davvid@gmail.com>
Tue, 5 Sep 2023 11:11:17 +0000 (5 04:11 -0700)
tree12b72cea04abc9002073a68539168d310008edbd
parent76610452c216ad804b32c7b4ed985f8d16132656
widgets: add a custom progress bar

ProgressBar is animated using a background thread.

Related-to: #1320
Signed-off-by: David Aguilar <davvid@gmail.com>
cola/widgets/standard.py