Editor::multi_select: reserve some vector space in advance

2013-02-28 18:51:58 +01:00 · 2013-02-28 18:51:58 +01:00 · 298926a16e
commit 298926a16e
parent 161e32e137
1 changed files with 1 additions and 0 deletions
--- a/src/editor.cc
+++ b/src/editor.cc
@ -301,6 +301,7 @@ void Editor::multi_select(const MultiSelector& selector)
    for (auto& sel : m_selections)
    {
        SelectionList res = selector(sel);
+        new_selections.reserve(new_selections.size() + res.size());
        for (auto& new_sel : res)
        {
            // preserve captures when selectors captures nothing.