Repository navigation
fix(explorer): select the highlighted filter match on Enter and center it - #335
Open
liamhawkins wants to merge 1 commit into
Open
liamhawkins wants to merge 1 commit into
liamhawkins wants to merge 1 commit into
Commits
Commits on Sep 16, 2026