Skip to content

fix(tabs): forget a document's folds when the tab is pointed at another one - #448

Merged
PathGao merged 1 commit into
masterfrom
fix/navigate-leaves-stale-folds
Aug 3, 2026
Merged

fix(tabs): forget a document's folds when the tab is pointed at another one#448
PathGao merged 1 commit into
masterfrom
fix/navigate-leaves-stale-folds

Commits

Commits on Aug 3, 2026