marijnh/CodeMirror — pull request #1672 by Leonya (2013-07-12 10:19:47+00:00)
Title: Add several non-standard but very common CSS properties

Namely, text-overflow, text-size-adjust, user-select, zoom