Fix removing shared highlighters

This commit is contained in:
Maxime Coste 2015-09-30 00:18:37 +01:00
parent 1ff92d2b67
commit 77408becbd

View File

@ -625,7 +625,7 @@ const CommandDesc rm_highlighter_cmd = {
StringView path = parser[0]; StringView path = parser[0];
auto sep_it = find(reversed(path), '/'); auto sep_it = find(reversed(path), '/');
auto& group = sep_it != path.rend() ? auto& group = sep_it != path.rend() ?
get_highlighter(context, {path.begin(), sep_it.base()-1}) get_highlighter(context, {path.begin(), sep_it.base()})
: context.window().highlighters(); : context.window().highlighters();
group.remove_child({sep_it.base(), path.end()}); group.remove_child({sep_it.base(), path.end()});