marijnh/CodeMirror2 — pull request #599 by jankeromnes (2012-06-25 22:35:07+00:00)
Title: use default cursor on line numbers

Having a text cursor when hovering over line numbers is confusing, since you can't select the line numbers as text. It's even more confusing when you use the gutter for breakpoints or codefolding. I fixed it by setting `cursor: default` on the CSS rule `.CodeMirror-gutter-text`.