marijnh/CodeMirror — pull request #2181 by mrego (2014-01-27 20:50:47+00:00)
Title: Update CSS Grid Layout properties names

Some properties were outdated and some other were missing according to last
version of the CSS Grid Layout spec:
http://www.w3.org/TR/css3-grid-layout/#property-index