Function insertSorted

samples/common/codehighlight/codemirror.js:247–251

(array, value, score)

  }

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

  function nothing() {}