patch for bug #118 (pvsio-web becomes unresponsive because of codemirror syntax highlighter)