bug with menu bar under mac os corrected
menu bar bug on osx corrected
button gui improved