Revert "Throw when trying to remove a child highlighter that does not exists"

This reverts commit 56237aa8f8.

Throwing seems more correct, but it breaks lots of existing scripts.
reverting for now until we have a nice solution.
This commit is contained in:
Maxime Coste 2018-03-20 20:11:15 +11:00
parent bec849ae14
commit 5c1a5c6d15

View File

@ -39,8 +39,6 @@ void HighlighterGroup::add_child(HighlighterAndId&& hl)
void HighlighterGroup::remove_child(StringView id) void HighlighterGroup::remove_child(StringView id)
{ {
if (not m_highlighters.contains(id))
throw runtime_error{format("no such child: {}", id)};
m_highlighters.remove(id); m_highlighters.remove(id);
} }