- if (ws.pendingBrace()) {
- ws.os() << '}';
- ws.pendingBrace(false);
- ws.pendingSpace(false);
- ws.textMode(true);
- } else if (ws.pendingSpace() && strlen(s) > 0) {
- if (isAlphaASCII(s[0]))
- ws.os() << ' ';
- else if (s[0] == ' ' && ws.textMode())
- ws.os() << '\\';
- ws.pendingSpace(false);
- }
- ws.os() << s;
- ws.addlines(int(count(s, s + strlen(s), '\n')));