jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

setDragTimer - configure wait time when dragging

Browse source
This commit is contained in:
Adam Jimenez 2011-12-12 13:17:56 +00:00
commit 6124b5576d
3 changed files with 18 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
lib/ace/editor.js
View file

@ -551,6 +551,14 @@ var Editor = function(renderer, session) {
return this.$mouseHandler.getScrollSpeed();
};
this.setDragTimer = function(dragTimer) {
this.$mouseHandler.setDragTimer(dragTimer);
};
this.getDragTimer = function() {
return this.$mouseHandler.getDragTimer();
};
this.$selectionStyle = "line";
this.setSelectionStyle = function(style) {
if (this.$selectionStyle == style) return;

3
lib/ace/mouse/default_handlers.js
View file

@ -48,7 +48,6 @@ var STATE_UNKNOWN = 0;
var STATE_SELECT = 1;
var STATE_DRAG = 2;
var DRAG_TIMER = 250; // milliseconds
var DRAG_OFFSET = 5; // pixels
function DefaultHandlers(editor) {
@ -182,7 +181,7 @@ function DefaultHandlers(editor) {
cursor.row = Math.max(0, Math.min(cursor.row, editor.session.getLength()-1));
onStartSelect(cursor);
}
else if ((time - mousedownTime) > DRAG_TIMER) {
else if ((time - mousedownTime) > editor.getDragTimer()) {
state = STATE_DRAG;
dragRange = editor.getSelectionRange();
var style = editor.getSelectionStyle();

9
lib/ace/mouse/mouse_handler.js
View file

@ -76,6 +76,15 @@ var MouseHandler = function(editor) {
return this.$scrollSpeed;
};
this.$dragTimer = 250;
this.setDragTimer = function(dragTimer) {
this.$dragTimer=dragTimer;
};
this.getDragTimer = function() {
return this.$dragTimer;
};
this.onMouseDown = function(e) {
this.editor._dispatchEvent("mousedown", new MouseEvent(e, this.editor));
};