dragTimer renamed to dragDelay

Conflicts:

	lib/ace/mouse/mouse_handler.js
This commit is contained in:
Adam Jimenez 2011-12-14 13:45:09 +00:00 committed by Fabian Jakobs
commit 3b647e1aa7
3 changed files with 10 additions and 10 deletions

View file

@ -529,12 +529,12 @@ var Editor = function(renderer, session) {
return this.$mouseHandler.getScrollSpeed();
};
this.setDragTimer = function(dragTimer) {
this.$mouseHandler.setDragTimer(dragTimer);
this.setDragDelay = function(dragDelay) {
this.$mouseHandler.setDragDelay(dragDelay);
};
this.getDragTimer = function() {
return this.$mouseHandler.getDragTimer();
this.getDragDelay = function() {
return this.$mouseHandler.getDragDelay();
};
this.$selectionStyle = "line";

View file

@ -171,7 +171,7 @@ function DefaultHandlers(editor) {
cursor.row = Math.max(0, Math.min(cursor.row, editor.session.getLength()-1));
onStartSelect(cursor);
}
else if ((time - mousedownTime) > editor.getDragTimer()) {
else if ((time - mousedownTime) > editor.getDragDelay()) {
state = STATE_DRAG;
dragRange = editor.getSelectionRange();
var style = editor.getSelectionStyle();

View file

@ -89,13 +89,13 @@ var MouseHandler = function(editor) {
this.editor._dispatchEvent(name, new MouseEvent(e, this.editor));
};
this.$dragTimer = 250;
this.setDragTimer = function(dragTimer) {
this.$dragTimer = dragTimer;
this.$dragDelay = 250;
this.setDragDelay = function(dragDelay) {
this.$dragDelay = dragDelay;
};
this.getDragTimer = function() {
return this.$dragTimer;
this.getDragDelay = function() {
return this.$dragDelay;
};
this.onMouseMove = function(name, e) {