-
Hans Muller authored
Remove PopupMenu margin 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.
cf17dd96
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| src | ||
| animation.dart | ||
| gestures.dart | ||
| material.dart | ||
| painting.dart | ||
| rendering.dart | ||
| services.dart | ||
| sky_tool | ||
| widgets.dart |