marijnh/CodeMirror2 — pull request #420 by peterkroon (2012-03-04 13:51:52+00:00)
Title: Update lib/codemirror.js prevent scroller from highlighting when focus

Dirty hack to prevent scroller from highlighting when gettting focus(only occurs when dragging selection)
This solution should not be final. Why? Well if you want the outline to be visible when the scroller gets focus using tabbing(tabindex) , there is no color present as it is set to transparent, so it it not visible.