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

Use a different schema for each branding #15856

Merged
merged 2 commits into from
Aug 22, 2023

Commits on Aug 20, 2023

  1. Switch the schema depending on the branding we're being built for

    Ever since we started writing the entire settings file out ourselves,
    we've had the opportunity to control which schema it uses.
    
    This is a quality-of-life improvement for Preview users, and might make
    life easier for Dev users as well.
    
    One thing to consider is whether, if building Terminal in Debug+Dev
    mode, we should substitute in a `file:///` path. That would make the
    _local_ dev experience way cooler and cost us practically nothing.
    DHowett committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    9b837b6 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. Configuration menu
    Copy the full SHA
    742ab8f View commit details
    Browse the repository at this point in the history