Skip to content
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

No validation warning for undefined preference value #10887

Conversation

colin-grant-work
Copy link
Contributor

What it does

Reduces the number of warnings logged during preference validation by not warning if the initial value is undefined. Since undefined is not a JSON value, it doesn't reflect a bad user setting, so the warning is unnecessary.

How to test

  1. Start the application, open an editor, and open the dev tools.

  2. On master, you would see something like this:
    image

  3. Observe that you do not see the warnings for undefined values.

Review checklist

Reminder for reviewers

@colin-grant-work colin-grant-work added the preferences issues related to preferences label Mar 16, 2022
Copy link
Member

@vince-fugnitto vince-fugnitto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍

@colin-grant-work colin-grant-work merged commit 616c99a into eclipse-theia:master Mar 16, 2022
@colin-grant-work colin-grant-work deleted the bugfix/fewer-preference-warnings branch March 16, 2022 21:44
@colin-grant-work colin-grant-work added this to the 1.24.0 milestone Mar 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
preferences issues related to preferences
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants