Raph Levien 6705d6ff2a Rename "margins" to "indents" ...

The name "margin" conflicts with another meaning, so we're making the
name in the public api "idents" and the code consistent in naming.

Change-Id: I9170116b4d972e4b25f0f319e78376310288eb41

2015-04-15 19:12:48 -07:00

..

src/flutter

Rename "margins" to "indents"

2015-04-15 19:12:48 -07:00