I propose that the width of the progress bar be selectable by the user via a simple command / option. I have discovered that the current progress bar is hardly visible when the projector used is not of very high resolution, so a wider line would better serve the purpose of the progress bar.
I propose that the width of the progress bar be selectable by the user via a simple command / option. I have discovered that the current progress bar is hardly visible when the projector used is not of very high resolution, so a wider line would better serve the purpose of the progress bar.