Searched refs:save_state_from_menu (Results 1 – 3 of 3) sorted by relevance
171 void save_state_from_menu(void);
221 void save_state_from_menu(void) in save_state_from_menu() function
20981 … options_save_state_callback(Widget w, XtPointer info, XtPointer context) {save_state_from_menu();} in options_save_state_callback()