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

Enhance the recent repo dropdown with search capabilities #10810

Open
RussKie opened this issue Mar 20, 2023 · 2 comments · May be fixed by #10906
Open

Enhance the recent repo dropdown with search capabilities #10810

RussKie opened this issue Mar 20, 2023 · 2 comments · May be fixed by #10906
Labels
🚧 status: in progress Issues which have associated PRs type: feature request

Comments

@RussKie
Copy link
Member

RussKie commented Mar 20, 2023

Feature description

Too often I'm finding myself lost in the list of "recent" repos, and frustrated by the inability to close the current repo from the dropdown - instead I have to go to another menu to find "Close (go to Dashboard)" menu.
image

I'd like us to consider a UX similar to the UX offered by VS and VS Code - e.g.,

  • allow some kind of filtering in this dropdown (I'm pretty certain it should be possible), and
  • allow to search for more repos by closing the current repo and going to the dashboard.

image

Any thoughts or objections?

Environment

N/A
@gerhardol
Copy link
Member

I like the long list of repos, I usually work in over 50 repos every week (occasionally a day).
Also most recent is something I like to keep.

If I want to filter, I go to the dashboard, only one line lost if added here

@mstv
Copy link
Member

mstv commented Mar 20, 2023

I don't mind appending the Close (go to Dashboard) item to the dropdown.
If searching can be added transparently, fine!

But please don't turn it into such an overloaded formerly file menu like in Office. These things can be done in the Dashboard.
This dropdown should not need extra clicks.

I find the following settings very useful for this menu. "pinned" in fact means "most recently used".

image

RussKie added a commit to RussKie/gitextensions that referenced this issue Apr 22, 2023
@RussKie
Allow to filter the recent repositories dropdown
25c0e32 
Resolves gitextensions#10810
RussKie added a commit to RussKie/gitextensions that referenced this issue Apr 22, 2023
@RussKie
Allow to filter the recent repositories dropdown
fd3d686 
Resolves gitextensions#10810
@RussKie RussKie linked a pull request Apr 22, 2023 that will close this issue
Draft
@ghost ghost added the 🚧 status: in progress Issues which have associated PRs label Apr 22, 2023
RussKie added a commit to RussKie/gitextensions that referenced this issue Apr 22, 2023
@RussKie
Allow to filter the recent repositories dropdown
bace125 
Resolves gitextensions#10810
@RussKie RussKie linked a pull request Apr 23, 2023 that will close this issue
Tweak repos dropdown #10906
Draft
mstv pushed a commit to mstv/gitextensions that referenced this issue Apr 23, 2023
@RussKie @mstv
Allow to filter the recent repositories dropdown
a0c4ca0 
Resolves gitextensions#10810
RussKie added a commit to RussKie/gitextensions that referenced this issue Apr 29, 2023
@RussKie
Allow to filter the recent repositories dropdown
9ec4212 
Resolves gitextensions#10810
gerhardol pushed a commit to gerhardol/gitextensions that referenced this issue Feb 16, 2024
@RussKie @gerhardol
Allow to filter the recent repositories dropdown
d759c70 
Resolves gitextensions#10810
RussKie added a commit to RussKie/gitextensions that referenced this issue May 24, 2024
@RussKie
Allow to filter the recent repositories dropdown
d955805 
Resolves gitextensions#10810
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
🚧 status: in progress Issues which have associated PRs type: feature request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Tweak repos dropdown RussKie/gitextensions
3 participants
@RussKie @gerhardol @mstv