Hans Muller f6f4235022 Merge pull request #1509 from HansMuller/remove_popup_menu_margin
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.
2015-10-06 11:03:23 -07:00
..
2015-09-17 16:00:28 -07:00
2015-10-02 23:12:03 -07:00
2015-09-30 15:22:04 -07:00
2015-10-05 16:41:50 -07:00