public void add_range(memory_optimized_list <match> new_matches)
{
lock (this) {
bool optimize = matches_.Count == 0 && new_matches.Count > app.inst.no_ui.min_filter_capacity;
if (!optimize)
{
matches_.AddRange(new_matches);
}
else
{
// optimization - reuse this memory
new_matches.name = matches_.name;
matches_ = new_matches;
}
}
}
