Searched refs:recent_filenames_menu (Results 1 – 1 of 1) sorted by relevance
198 static Fl_Menu_ * recent_filenames_menu=0; variable216 Fl_Menu_ * menu = recent_filenames_menu; in add_recent_filename()246 recent_filenames_menu=menu; in read_recent_filenames()1742 if (recent_filenames_menu) in save_as()