Function compareBidiLevel

tools/pythonauto/static/codemirror/codemirror.js:5858–5863

(order, a, b)

  }

  function compareBidiLevel(order, a, b) {
    var linedir = order[0].level;
    if (a == linedir) return true;
    if (b == linedir) return false;
    return a < b;
  }
  var bidiOther;
  function getBidiPartAt(order, pos) {
    bidiOther = null;