Join highlighter parameters with a '_' to autogenerate their name

This commit is contained in:
Maxime Coste 2018-09-07 09:07:25 +10:00
parent 1b1119e85c
commit 15bb23865a

View File

@ -771,7 +771,7 @@ const CommandDesc add_highlighter_cmd = {
throw runtime_error("no parent in path");
auto auto_name = [](ConstArrayView<String> params) {
return join(params | transform([](StringView s) { return replace(s, "/", "<slash>"); }), "<slash>");
return join(params | transform([](StringView s) { return replace(s, "/", "<slash>"); }), "_");
};
String name{slash.base(), path.end()};