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

Implement dropdown menu for repo change #347

Merged

Conversation

NereusWB922
Copy link
Contributor

Summary:

Fixes #344

Type of change:

  • ✨ Enhancement

Changes Made:

  • Implement dropdown menu for repo change
  • Provide a button for add new repo
  • Provide a filter icon button to enable keep filter

Repo change with keep filter on

easy_repo_change_with_keep_filter_on

Repo change with keep filter off

repo_change_with_keep_filter_off

Add new repo

add_new_repo

Proposed Commit Message:


Implement dropdown menu for repo change

Introduce a dropdown menu for repository selection,
simplifying the process of switching between repositories. 

This enhancement offers users a quicker and more
intuitive method to navigate to previously visited repositories. 

@NereusWB922 NereusWB922 changed the title Implement repo dropdown menu Implement dropdown menu for repo change Apr 1, 2024
Copy link
Contributor

@nknguyenhc nknguyenhc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! Very clean.

@NereusWB922 NereusWB922 merged commit 775e59c into CATcher-org:main Apr 3, 2024
3 checks passed
@NereusWB922 NereusWB922 deleted the 344-dropdown-repo-options branch April 3, 2024 05:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Change the repo change form from popup to dropdown
2 participants