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.

Sign up for GitHub

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

Jump to bottom

Rename "preference" to "settings" #90

Merged
merged 6 commits into from Mar 20, 2023
Merged

Rename "preference" to "settings" #90

merged 6 commits into from Mar 20, 2023

Commits on Mar 20, 2023

  1. rename asPreferencePane to asSettingsPane

    @DivineDominion
    DivineDominion committed Mar 20, 2023
    Copy the full SHA
    d138bc1 View commit details
    Browse the repository at this point in the history

  2. rename preferencePanes parameter label to settingsPanes

    @DivineDominion
    DivineDominion committed Mar 20, 2023
    Copy the full SHA
    7de546f View commit details
    Browse the repository at this point in the history

  3. add deprecations for compatibility until next major version

    @DivineDominion
    DivineDominion committed Mar 20, 2023
    Copy the full SHA
    5215d50 View commit details
    Browse the repository at this point in the history

  4. rename settingsPanes to panes

    @DivineDominion
    DivineDominion committed Mar 20, 2023
    Copy the full SHA
    b62c662 View commit details
    Browse the repository at this point in the history

  5. drop "preference" in symbol names

    @DivineDominion
    DivineDominion committed Mar 20, 2023
    Copy the full SHA
    2f38a7d View commit details
    Browse the repository at this point in the history

  6. rename settings to panes

    @DivineDominion
    DivineDominion committed Mar 20, 2023
    Copy the full SHA
    6bb7e1e View commit details
    Browse the repository at this point in the history