Extensions to `menu-bar.el'