implements file type filtering for Explorer (#2103)#2104

Merged

TheAngryByrd merged 3 commits intoionide:mainfrom

thatrajeevkr:fix/filetree

Sep 9, 2025

Commits on Sep 5, 2025

implements file type filtering for Explorer (#2103)
thatrajeevkr
committed

Commits on Sep 6, 2025

updates to file type filtering (#2103)
thatrajeevkr
committed

Commits on Sep 8, 2025

refactoring to file type filtering (#2103)
thatrajeevkr
committed