selection hover improvements
fix issue with wrapped lines and compute only when necessary.
This commit is contained in:
parent
23680b4f7e
commit
8dffbbe200
1 changed files with 7 additions and 3 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);
|
||||
|
|
@ -76,12 +77,15 @@ var MouseHandler = function(editor) {
|
|||
});
|
||||
|
||||
editor.on('mousemove', function(e){
|
||||
var char = editor.renderer.pixelToScreenCoordinates(e.x, e.y);
|
||||
if (_self.state)
|
||||
return;
|
||||
|
||||
var char = editor.renderer.screenToTextCoordinates(e.x, e.y);
|
||||
var range = editor.session.selection.getRange();
|
||||
|
||||
if( !range.isEmpty() && range.contains(char.row, char.column) ){
|
||||
if (!range.isEmpty() && range.inside(char.row, char.column)) {
|
||||
editor.setStyle("ace_selection");
|
||||
}else{
|
||||
} else {
|
||||
editor.unsetStyle("ace_selection");
|
||||
}
|
||||
});
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue