Searched refs:edit_menu_update (Results 1 – 3 of 3) sorted by relevance
166 void edit_menu_update(void);
6 void edit_menu_update(void) in edit_menu_update() function
20765 static void edit_menu_update_1(Widget w, XtPointer info, XtPointer context) {edit_menu_update();} in edit_menu_update_1()