Hans Muller 56d9d85f2a 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 10:55:31 -07:00
..
2015-10-06 10:55:31 -07:00
2015-08-10 12:43:36 -07:00