debugMarginProperties method
Implementation
void debugMarginProperties(DiagnosticPropertiesBuilder properties) {
  properties.add(DiagnosticsProperty('margin', margin));
}void debugMarginProperties(DiagnosticPropertiesBuilder properties) {
  properties.add(DiagnosticsProperty('margin', margin));
}