Function indexOf

lib/web/CodeMirror/src/util/misc.js:57–61

(array, elt)

}

export function indexOf(array, elt) {
  for (let i = 0; i < array.length; ++i)
    if (array[i] == elt) return i
  return -1
}

// Number of pixels added to scroller and sizer to hide scrollbar
export let scrollerGap = 50