Repository navigation
Add pinning support for opened files and improve tab bar performance - #3281
Open
devvaannsh wants to merge 37 commits into
Open
devvaannsh wants to merge 37 commits into
devvaannsh wants to merge 37 commits into
Commits
Commits on Oct 18, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 20, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 21, 2026