no_id 531 src/filemanager/filegui.c unsigned long yes_id, no_id; no_id 683 src/filemanager/filegui.c no_id = ADD_BUTTON (10); /* No */ no_id 699 src/filemanager/filegui.c group_select_widget_by_id (g, safe_overwrite ? no_id : yes_id);