(update_frame_menubar, set_frame_menubar, xmenu_show):