Merge branch 'pull/1995'
This commit is contained in:
commit
19ec94a815
1 changed files with 16 additions and 0 deletions
|
|
@ -40,6 +40,7 @@ var DragdropHandler = require("./dragdrop_handler").DragdropHandler;
|
|||
var config = require("../config");
|
||||
|
||||
var MouseHandler = function(editor) {
|
||||
var _self = this;
|
||||
this.editor = editor;
|
||||
|
||||
new DefaultHandlers(this);
|
||||
|
|
@ -74,6 +75,21 @@ var MouseHandler = function(editor) {
|
|||
editor.focus();
|
||||
return event.preventDefault(e);
|
||||
});
|
||||
|
||||
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;
|
||||
|
||||
if (!range.isEmpty() && range.insideStart(char.row, char.column)) {
|
||||
renderer.setCursorStyle("default");
|
||||
} else {
|
||||
renderer.setCursorStyle("");
|
||||
}
|
||||
});
|
||||
};
|
||||
|
||||
(function() {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue