marijnh/CodeMirror — pull request #2543 by bemjb (2014-05-06 22:02:09+00:00)
Title: [css mode] Add more CSS Shapes properties

Add shape-image-threshold and shape-margin.

Both of these properties are defined (along with shape-outside) in CSS Shapes Level 1, which is in CR.