diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js index 33f3a906..030cf5e0 100644 --- a/lib/ace/virtual_renderer.js +++ b/lib/ace/virtual_renderer.js @@ -88,6 +88,18 @@ 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);