diff --git a/index.html b/index.html index 5e6c606..1bf2baf 100755 --- a/index.html +++ b/index.html @@ -261,12 +261,12 @@ console.log "oO08 iIlL1 g9qCGQ ~-+=>"; function updateGutters(cm) { var gutters = cm.display.gutters, - specs = cm.options.gutters; + __specs = cm.options.gutters; removeChildren(gutters); for (var i = 0; i < specs.length; ++i) { - var gutterClass = specs[i]; + var gutterClass = __specs[i]; var gElt = gutters.appendChild( elt( "div",