putback();
return make_pair(false, string());
} else {
- // in case of the '+' as delimiter single a '\' is allowed
- // as content, for example "\verb+\+" (reported as bug #4468)
- // we need special handling because single \ are normally ignored
- // or taken as start of a command
- if (c == '+')
- if (next_token().cat() == catEscape)
+ // for \verb a single '\' is allowed no matter what the delimiter is
+ // for example "\verb+\+" (reported as bug #4468)
+ // To support this, we allow single '\' if it is the only character
+ // within the delimiters
+ if (next_token().cat() == catEscape)
+ if (next_token().character() == c)
result += '\\';
while ((c = getChar()) != right && good()) {
// Ignore comments