syntex: port to new menu API