-
-
Notifications
You must be signed in to change notification settings - Fork 9.6k
[Console] Add placeholders to ProgressBar for exact times #50537
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Console] Add placeholders to ProgressBar for exact times #50537
Conversation
1eecd3b
to
82a1c62
Compare
I think we can simplify this to just replace the existing |
82a1c62
to
c0ca8f9
Compare
Thanks @wouterj and @OskarStark for your input. I now changed it. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me!
c0ca8f9
to
190f835
Compare
190f835
to
b553dd9
Compare
Thank you @maxbeckers. |
This is an idea for exact times using ProgressBar based on the idea of @GromNaN in the issue #49927.
Open to discuss this first way of implementing it.
I'll create the docs PR when the feature is agreed and there won't come up any bigger changes.
The Idea is to show the exact time in seconds, the ProgressBar will run / is running.