mirror of
https://github.com/wez/wezterm.git
synced 2024-11-28 09:12:19 +03:00
ea1513f480
This makes the search feel more responsive. We search from bottom to top so that we show the more recent results first, but for the sake of efficiency when accumulating result chunks we need to reverse the order of the results vec from how it was previously. Each result chunk is loosely ordered from top to bottom, so we sort it and reverse it: results[0] is the bottom-most result. New rows are accumulated on the end of the result array; this is not only more efficient, but it preverses the match result number ordering. The next/prior functions need to be swapped to account for this change in result order. refs: https://github.com/wez/wezterm/issues/1209 |
||
---|---|---|
.. | ||
src | ||
build.rs | ||
Cargo.toml |