From b5a1aaebbac57d145d47e3d4dc74e96b39bb0443 Mon Sep 17 00:00:00 2001
From: Adam Jimenez <adam.jimenez@gmail.com>
Date: Mon, 12 May 2014 17:35:41 +0100
Subject: [PATCH] change mouse cursor when over a selection

Change mouse cursor to a pointer when hovered over a selection
---
 lib/ace/virtual_renderer.js | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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);