Function focusInput

mini-code-editor/cm/lib/codemirror.js:878–880

()

    }

    function focusInput() {
      if (options.readOnly != "nocursor") input.focus();
    }

    function scrollEditorIntoView() {
      if (!cursor.getBoundingClientRect) return;