do not change mouse over selection if dragging isn't enabled
This commit is contained in:
parent
c0343a2cba
commit
636cc6a96f
1 changed files with 4 additions and 4 deletions
|
|
@ -76,14 +76,14 @@ var MouseHandler = function(editor) {
|
|||
return event.preventDefault(e);
|
||||
});
|
||||
|
||||
editor.on('mousemove', function(e){
|
||||
if (_self.state)
|
||||
editor.on("mousemove", function(e){
|
||||
if (_self.state || _self.$dragDelay || !_self.$dragEnabled)
|
||||
return;
|
||||
|
||||
var char = editor.renderer.screenToTextCoordinates(e.x, e.y);
|
||||
var range = editor.session.selection.getRange();
|
||||
var renderer = editor.renderer;
|
||||
|
||||
var renderer = editor.renderer;
|
||||
|
||||
if (!range.isEmpty() && range.insideStart(char.row, char.column)) {
|
||||
renderer.setCursorStyle("default");
|
||||
} else {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue