Function option

external/.scrollLibs.js:10471–10482

(name, deflt, handle, notOnInit)

    var optionHandlers = CodeMirror.optionHandlers

    function option(name, deflt, handle, notOnInit) {
      CodeMirror.defaults[name] = deflt
      if (handle) {
        optionHandlers[name] = notOnInit
          ? function (cm, val, old) {
              if (old != Init) {
                handle(cm, val, old)
              }
            }
          : handle
      }
    }

    CodeMirror.defineOption = option