Integrate Search Results with Monaco Editor Navigation#9

Open

rachit-goyal1071 wants to merge 3 commits intoankurg132:mainfrom

rachit-goyal1071:main

Commits on Jan 5, 2026

fix: small enhancements and fixes in git
rachit-goyal1071
committed

Commits on Jan 6, 2026

feat: Add Global Search and Monaco Editor Integration
rachit-goyal1071
committed

Commits on Jan 12, 2026

Merge pull request #1 from rachit-goyal1071/search-feature
rachit-goyal1071
authored