Always refresh the gutter when a change was made that crosses line bounds

Author: marijnh

lib/codemirror.js

@@ -547,6 +547,7 @@ var CodeMirror = (function() {
         doc.iter(from.line, to.line, function(line) {
           if (line.text.length == maxLineLength) {recomputeMaxLength = true; return true;}
         });
+      if (from.line != to.line || newText.length > 1) gutterDirty = true;
 
       var nlines = to.line - from.line, firstLine = getLine(from.line), lastLine = getLine(to.line);
       // First adjust the line structure, taking some care to leave highlighting intact.