Thanks to visit codestin.com
Credit goes to github.com

Skip to content

feat: Add search filter to sidebar #562

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

Open
wants to merge 8 commits into
base: main
Choose a base branch
from
Open

feat: Add search filter to sidebar #562

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
bab6c21
feat: Add search filter to sidebar
yelnatscoding Jul 29, 2025
3e340bf
feat: optimize workspace search with performance improvements
yelnatscoding Jul 29, 2025
9dd25a8
feat: add debouncing to workspace search for better user experience
yelnatscoding Jul 29, 2025
8f103e5
Merge branch 'main' into main
yelnatscoding Jul 29, 2025
2d186c7
update CHANGELOG.md to include changes from Add search functionality PR
yelnatscoding Jul 29, 2025
448d947
update CHANGELOG.md to include changes from Add search functionality PR
yelnatscoding Jul 29, 2025
a5c0ceb
Update CHANGELOG.md
yelnatscoding Jul 30, 2025
de2dd41
removed redundant null safety fallbacks, added cache corruption preve…
yelnatscoding Jul 30, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into main
  • Loading branch information
@yelnatscoding
yelnatscoding authored Jul 29, 2025
commit 8f103e50d3da4c9e52b6163a4f573714321df69f

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.