undo rename

This commit is contained in:
nightwing 2012-10-26 19:46:37 +04:00
commit 9179b04438

View file

@ -61,14 +61,14 @@ var Cursor = function(parentEl) {
this.setBlinking = function(blinking) { this.setBlinking = function(blinking) {
if (blinking != this.isBlinking){ if (blinking != this.isBlinking){
this.isBlinking = blinking; this.isBlinking = blinking;
this.resetTimer(); this.restartTimer();
} }
}; };
this.setBlinkInterval = function(blinkInterval) { this.setBlinkInterval = function(blinkInterval) {
if (blinkInterval != this.blinkInterval){ if (blinkInterval != this.blinkInterval){
this.blinkInterval = blinkInterval; this.blinkInterval = blinkInterval;
this.resetTimer(); this.restartTimer();
} }
}; };
@ -79,7 +79,7 @@ var Cursor = function(parentEl) {
dom.addCssClass(this.element, "ace_smooth-blinking"); dom.addCssClass(this.element, "ace_smooth-blinking");
else else
dom.removeCssClass(this.element, "ace_smooth-blinking"); dom.removeCssClass(this.element, "ace_smooth-blinking");
this.resetTimer(); this.restartTimer();
} }
}; };
@ -102,16 +102,16 @@ var Cursor = function(parentEl) {
this.hideCursor = function() { this.hideCursor = function() {
this.isVisible = false; this.isVisible = false;
dom.addCssClass(this.element, "ace_hidden-cursors"); dom.addCssClass(this.element, "ace_hidden-cursors");
this.resetTimer(); this.restartTimer();
}; };
this.showCursor = function() { this.showCursor = function() {
this.isVisible = true; this.isVisible = true;
dom.removeCssClass(this.element, "ace_hidden-cursors"); dom.removeCssClass(this.element, "ace_hidden-cursors");
this.resetTimer(); this.restartTimer();
}; };
this.resetTimer = function() { this.restartTimer = function() {
clearInterval(this.intervalId); clearInterval(this.intervalId);
clearTimeout(this.timeoutId); clearTimeout(this.timeoutId);
if (this.smoothBlinking) if (this.smoothBlinking)
@ -199,7 +199,7 @@ var Cursor = function(parentEl) {
// cache for textarea and gutter highlight // cache for textarea and gutter highlight
this.$pixelPos = pixelPos; this.$pixelPos = pixelPos;
this.resetTimer(); this.restartTimer();
}; };
this.$setOverwrite = function(overwrite) { this.$setOverwrite = function(overwrite) {