mirror of
https://github.com/flutter/flutter.git
synced 2026-02-20 02:29:02 +08:00
These properties had a high cost in the documentation because they're all top-level properties, and there's really very little reason for these values to be configurable in the first place.