marijnh/CodeMirror — pull request #1751 by ingorichter (2013-08-15 00:25:04+00:00)
Title: re-added lost css region properties

I'm sorry, but it seems that I somehow messed things up the last time and some of my additions didn't make it.