As far as I can understand
default: comment.replace(i, 0, "\\");
makes
case '\\': comment.replace(i, 0, "\\"); break;
useless.
SylvainD
- 29.8k
- 1
- 49
- 93