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

Add a Project Search button to the Status Bar #19238

Closed
wants to merge 10 commits into from
Closed

Add a Project Search button to the Status Bar #19238

wants to merge 10 commits into from

Commits on Oct 15, 2024

  1. feat: add project_search button to status_bar

    @HarshNarayanJha
    HarshNarayanJha committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    992775e View commit details
    Browse the repository at this point in the history

  2. cargo fmt

    @HarshNarayanJha
    HarshNarayanJha committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    749b1ea View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. Use the IconButton component instead of ButtonLike

    @danilo-leal
    danilo-leal committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    f4f991c View commit details
    Browse the repository at this point in the history

  2. Remove unused imports

    @danilo-leal
    danilo-leal committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    ee04e93 View commit details
    Browse the repository at this point in the history

  3. feat: add new setting project_search.button to hide the search button… 

    … which defaults to false
    @HarshNarayanJha
    HarshNarayanJha committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    6ca561a View commit details
    Browse the repository at this point in the history

  4. fix: try to zero the width of search button when hidden using Empty

    @HarshNarayanJha
    HarshNarayanJha committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    f348c37 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. cargo fit

    @HarshNarayanJha
    HarshNarayanJha authored Oct 17, 2024
    Configuration menu
    Copy the full SHA
    9b73e4a View commit details
    Browse the repository at this point in the history

  2. cargo fmt

    @HarshNarayanJha
    HarshNarayanJha committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    99a7d06 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'zed-industries:main' into plugin/find-in-project-button

    @HarshNarayanJha
    HarshNarayanJha authored Oct 17, 2024
    Configuration menu
    Copy the full SHA
    f42674c View commit details
    Browse the repository at this point in the history

  4. docs: add project_search settings in docs

    @HarshNarayanJha
    HarshNarayanJha committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    aa2800f View commit details
    Browse the repository at this point in the history