resetmenu

resetmenu

Declare customizations for the top menubar.