marijnh/CodeMirror2 — pull request #333 by gruehle (2012-01-21 00:28:58+00:00)
Title: Fix selection redraw during window resize.

This fixes the cosmetic problem with selection highlighting that occurs when resizing the window.

This problem is most visible in WebKit browsers.