From 15bb23865a4f5ea764c394292c7a68bac0c1d33a Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Fri, 7 Sep 2018 09:07:25 +1000 Subject: [PATCH] Join highlighter parameters with a '_' to autogenerate their name --- src/commands.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/commands.cc b/src/commands.cc index a1972be8..19c02cf6 100644 --- a/src/commands.cc +++ b/src/commands.cc @@ -771,7 +771,7 @@ const CommandDesc add_highlighter_cmd = { throw runtime_error("no parent in path"); auto auto_name = [](ConstArrayView params) { - return join(params | transform([](StringView s) { return replace(s, "/", ""); }), ""); + return join(params | transform([](StringView s) { return replace(s, "/", ""); }), "_"); }; String name{slash.base(), path.end()};