Permalink
Browse files

Rename addDirty() to updateDirty()

  • Loading branch information...
1 parent d664b1d commit 85c79f53516e5dee9f9cb8354f6b0c828fd949b6 @njx njx committed Oct 30, 2012
Showing with 3 additions and 3 deletions.
  1. +3 −3 lib/codemirror.js
View
@@ -3852,7 +3852,7 @@ window.CodeMirror = (function() {
var time = +new Date, cur = lst(history.done), last = cur && lst(cur);
var dtime = time - history.time;
- function addDirty() {
+ function updateDirty() {
if (history.dirtyCounter < 0) {
// The user has made a change after undoing past the last clean state.
// We can never get back to a clean state now until markClean() is called.
@@ -3862,11 +3862,11 @@ window.CodeMirror = (function() {
}
if (cur && !history.closed && history.compound) {
- addDirty();
+ updateDirty();
cur.push({start: start, added: added, old: old});
} else if (dtime > 400 || !last || history.closed ||
last.start > start + old.length || last.start + last.added < start) {
- addDirty();
+ updateDirty();
history.done.push([{start: start, added: added, old: old}]);
history.closed = false;
} else {

0 comments on commit 85c79f5

Please sign in to comment.