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

Just never save the settings #2475

Merged
merged 1 commit into from
Aug 20, 2019

Commits on Aug 19, 2019

  1. Just never save the settings

      This is more trouble than it's worth. We had code before to re-serialize
      settings when they changed, to try and gracefully migrate settings from old
      schemas to new ones. This is good in theory, but with #754 coming soon, this
      is going to become a minefield. In the future we'll just always be providing a
      base schema that's reasonable, so this won't matter so much. Keys that users
      have that aren't understood will just be ignored, and that's _fine_.
    zadjii-msft committed Aug 19, 2019
    Configuration menu
    Copy the full SHA
    a92a3b7 View commit details
    Browse the repository at this point in the history