ajaxorg/ace — pull request #1206 by adamjimenez (2013-01-14 17:57:53+00:00)
Title: Change mouse cursor to a pointer when hovered over a selection

fixes #303