mirror of
https://github.com/flutter/flutter.git
synced 2026-02-20 02:29:02 +08:00
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