-
-
Notifications
You must be signed in to change notification settings - Fork 3.9k
Display default value in setting editor for changed values #12468
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
Display default value in setting editor for changed values #12468
Conversation
|
Thanks for making a pull request to jupyterlab! |
fcollonval
left a comment
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.
Thanks @echarles
|
CI failures are not related |
|
Thx @fcollonval |
|
@meeseeksdev please backport to 3.4.x |
… for changed values
Benchmark reportThe execution time (in milliseconds) are grouped by test file, test type and browser. The mean relative comparison is computed with 95% confidence. Results table
Changes are computed with expected as reference. |
…ed values (#12473) Co-authored-by: Eric Charles <eric@datalayer.io>
References
Fixes #12284
Code changes
Show the default value in the settings editor for changed settings.
User-facing changes
Backwards-incompatible changes
None.