Feature Request: Multi-Select & Favorites for Repo Filter
sample repo github: itsrubberduck/better-codex
Problem
The current repo filter only allows one selection at a time. Switching between multiple related repos is slow and resets after reload.
Proposal
- Multi-Select: allow selecting multiple repos (checkbox or tag-style chips).
- Favorites: star repos for quick access (“Show favorites only”).
- Shortcut: global key (e.g.
/orAlt+F) focuses the filter;Escclears it. - Persistence: save selection and favorites in
localStorage, optional tab sync. - (Optional) Exclude syntax like
-repo-name.
Benefits
Faster navigation, less context switching, smoother workflow for multi-repo users.
UI Sketch
Keep current input; add checkboxes or chips. Star icon for favorites.
