update_frame_menubar  468 src/pgtkmenu.c   update_frame_menubar (f);
update_frame_menubar 1253 src/xmenu.c      update_frame_menubar (f);