push current selection on search

This commit is contained in:
Maxime Coste 2012-12-13 13:24:38 +01:00
parent d0c800a7d7
commit 7cc66ee64d

View File

@ -149,6 +149,7 @@ void do_search(Context& context)
ex = RegisterManager::instance()['/'].values(context)[0]; ex = RegisterManager::instance()['/'].values(context)[0];
else else
RegisterManager::instance()['/'] = ex; RegisterManager::instance()['/'] = ex;
context.push_jump();
} }
context.editor().select(std::bind(select_next_match, _1, ex), mode); context.editor().select(std::bind(select_next_match, _1, ex), mode);
}, context); }, context);
@ -159,7 +160,10 @@ void do_search_next(Context& context)
{ {
const String& ex = RegisterManager::instance()['/'].values(context)[0]; const String& ex = RegisterManager::instance()['/'].values(context)[0];
if (not ex.empty()) if (not ex.empty())
{
context.push_jump();
context.editor().select(std::bind(select_next_match, _1, ex), mode); context.editor().select(std::bind(select_next_match, _1, ex), mode);
}
else else
context.print_status("no search pattern"); context.print_status("no search pattern");
} }