scanning_cmd = false;
}
- // was the last character a \? If so, then this is something like: \\,
- // or \$, so we'll just output it. That's probably not always right...
+ // was the last character a \? If so, then this is something like:
+ // \\ or \$, so we'll just output it. That's probably not always right...
if (escaped) {
- ret += ch;
+ // exception: output \, as THIN SPACE
+ if (ch == ',')
+ ret.push_back(0x2009);
+ else
+ ret += ch;
val = val.substr(1);
escaped = false;
continue;
string cite = citeCommands[s.style];
if (s.full) {
CiteStyle const * last = citeStylesFull + nCiteStylesFull;
- if (find(citeStylesFull, last, s.style) != last)
+ if (std::find(citeStylesFull, last, s.style) != last)
cite += '*';
}
if (s.forceUpperCase) {
CiteStyle const * last = citeStylesUCase + nCiteStylesUCase;
- if (find(citeStylesUCase, last, s.style) != last)
+ if (std::find(citeStylesUCase, last, s.style) != last)
cite[0] = 'C';
}