Function insertSorted

lib/web/CodeMirror/src/util/misc.js:104–108

(array, value, score)

}

export function insertSorted(array, value, score) {
  let pos = 0, priority = score(value)
  while (pos < array.length && score(array[pos]) <= priority) pos++
  array.splice(pos, 0, value)
}

function nothing() {}