enhanced top menu bar
Merge branch 'development' of https://github.com/open-integer/integer into development