Fix mention selection to respect filtered file count#557

Closed

RajPabnani03 wants to merge 1 commit intoathasdev:masterfrom

RajPabnani03:claude/fix-bug-KZRvD

Commits on Mar 9, 2026

Fix hard-coded index bound in mention dropdown navigation
claude
committed