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