whine when a search selected nothing so that the user knows

This commit is contained in:
Maxime Coste 2012-09-12 19:09:10 +02:00
parent cfbe32f6a2
commit ec57990060

View File

@ -401,6 +401,9 @@ SelectionAndCaptures select_next_match(const Selection& selection,
for (auto& match : matches) for (auto& match : matches)
captures.push_back(String(match.first, match.second)); captures.push_back(String(match.first, match.second));
} }
else
throw runtime_error("'" + regex + "': no matches found");
if (begin == end) if (begin == end)
++end; ++end;