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

make the spinner animation default to border #6468

Merged
merged 2 commits into from Nov 3, 2022

Commits on Oct 17, 2022

  1. make the spinner animation default to border

    There's no good reason to always type out the animation for the spinner. There are only two choices, and the "border" option is the obvious choice as a default.
    
    This should be a non-breaking change.
    factoidforrest committed Oct 17, 2022
    Copy the full SHA
    2b7d593 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2022

  1. Copy the full SHA
    f1b60c1 View commit details
    Browse the repository at this point in the history