Function doubleQuote

static/js/codemirror/mode/erlang/erlang.js:330–332

(stream)

  }

  function doubleQuote(stream) {
    return quote(stream, '"', '\\');
  }

  function singleQuote(stream) {
    return quote(stream,'\'','\\');