Function ensureFocus

tools/pythonauto/static/codemirrorepl/codemirror.js:2307–2309

(cm)

  }

  function ensureFocus(cm) {
    if (!cm.state.focused) { focusInput(cm); onFocus(cm); }
  }

  function isReadOnly(cm) {
    return cm.options.readOnly || cm.doc.cantEdit;