ajaxorg/ace — pull request #1959 by adamjimenez (2014-05-12 16:35:48+00:00)
Title: change mouse cursor when over a selection

Change mouse cursor to a pointer when hovered over a selection