Progress bar header and footer#1262

Merged

nils-a merged 3 commits intospectreconsole:mainfrom

phil-scott-78:feature/progress-header-footer

Sep 16, 2023

Commits on Jul 21, 2023

Adding header and footer to progress widget
phil-scott-78
committed

Commits on Jul 22, 2023

Adding control code to render out a progress bar in consoles that support it
phil-scott-78
committed

Commits on Jul 24, 2023

Tossing the header and footer, and using a wrapper instead
phil-scott-78
committed