webknossos-libs
webknossos-libs copied to clipboard
Add elapsed time to progress bar
The progress bars are great. It would be good to also add the elapsed time to see how long everything took at the end of the scripts runtime.
From a quick look at the code, all places that use get_rich_progress() should already have the elapsed time, but it not used everywhere.