This changes the progress bar to be just a spinner plus transport info and text. I think it looks better, and it allays complaints that the bar does not correspond to overall progress.
« Back to merge proposal
This changes the progress bar to be just a spinner plus transport info and text. I think it looks better, and it allays complaints that the bar does not correspond to overall progress.