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

Try updated command palette styling #53117

Merged
merged 6 commits into from
Aug 2, 2023
Merged

Try updated command palette styling #53117

merged 6 commits into from
Aug 2, 2023

Commits on Jul 27, 2023

  1. Add a search icon, update placeholder

    @richtabor
    richtabor committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    5b1dc23 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. Clean up styles

    @richtabor
    richtabor committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    c06e5bd View commit details
    Browse the repository at this point in the history

  2. Add back mark styling

    @richtabor
    richtabor committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    b71722e View commit details
    Browse the repository at this point in the history

  3. Remove space between groups

    @richtabor
    richtabor committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    e87f9d0 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. Add back mark font-weight styling

    @richtabor
    richtabor committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    9d3f6b1 View commit details
    Browse the repository at this point in the history

  2. $grid-unit-05 to $radius-block-ui

    @richtabor
    richtabor committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    59d1cf0 View commit details
    Browse the repository at this point in the history