diff --git a/src/command_manager.cc b/src/command_manager.cc index 32fa50452..682f7ed96 100644 --- a/src/command_manager.cc +++ b/src/command_manager.cc @@ -292,6 +292,7 @@ String eval(const String& str, Context& context, if (c != '%' and c != '\\') res += '\\'; res += c; + ++pos; } else if (str[pos] == '%') {