area/addon/searcharea/performancehelp wantedtype/bug
Repository metrics
- Stars
- (16,196 個のスター)
- PR merge metrics
- (平均マージ 2d 10h) (30d で 16 merged PRs)
説明
See https://github.com/xtermjs/xterm.js/issues/5176 for context
All searches take the same amount of time when the latter ones should take much less time due to being incremental:
Test file: