-
Adam Barth authored
If there's no leading widget, we just want 8.0 pixels of padding instead of all the padding to get over to the 72.0 pixel key line. Fixes #2912
5c5948bb
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| src | ||
| animation.dart | ||
| gestures.dart | ||
| http.dart | ||
| material.dart | ||
| painting.dart | ||
| rendering.dart | ||
| scheduler.dart | ||
| services.dart | ||
| shell.dart | ||
| widgets.dart |