(xmenu_show):