Skip to content

reset search result index when buffer changes/ terminal is resized#3793

Merged
meganrogge merged 3 commits intoxtermjs:masterfrom
meganrogge:fix-search-index
May 13, 2022
Merged

reset search result index when buffer changes/ terminal is resized#3793
meganrogge merged 3 commits intoxtermjs:masterfrom
meganrogge:fix-search-index

Commits

Commits on May 12, 2022

Commits on May 13, 2022