• Hans Muller's avatar
    Remove PopupMenu margin · 56d9d85f
    Hans Muller authored
    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.
    56d9d85f
Name
Last commit
Last update
..
apk Loading commit data...
data Loading commit data...
lib Loading commit data...
BUILD.gn Loading commit data...
pubspec.yaml Loading commit data...
sky.yaml Loading commit data...