mirror of
https://github.com/flutter/flutter.git
synced 2026-02-12 13:56:40 +08:00
The margins make using showMenu's menuPosition argument difficult and they're not really needed. I also made a few small gratuitous changes in navigator.dart.