Revert "change mouse cursor when over a selection"

This reverts commit b5a1aaebba.
This commit is contained in:
Adam Jimenez 2014-05-14 10:27:37 +01:00
commit 449226dac9

View file

@ -88,18 +88,6 @@ var VirtualRenderer = function(container, theme) {
this.content = dom.createElement("div");
this.content.className = "ace_content";
this.content.addEventListener('mousemove', function(e){
var char = _self.pixelToScreenCoordinates(e.pageX, e.pageY);
var range = _self.session.selection.getRange();
if( !range.isEmpty() && range.contains(char.row, char.column) ){
_self.content.style.cursor = "default";
}else{
_self.content.style.cursor = "text";
}
});
this.scroller.appendChild(this.content);
this.$gutterLayer = new GutterLayer(this.$gutter);