Function guttersChanged

tools/pythonauto/static/codemirrorepl/codemirror.js:311–315

(cm)

  }

  function guttersChanged(cm) {
    updateGutters(cm);
    regChange(cm);
    setTimeout(function(){alignHorizontally(cm);}, 20);
  }

  // Rebuild the gutter elements, ensure the margin to the left of the
  // code matches their width.