user_menu_save   1171 core/conf.c            		user_menu_save();
user_menu_save      8 core/gui_user_menu.h extern void user_menu_save();