no_id             527 src/filemanager/filegui.c     unsigned long yes_id, no_id;
no_id             678 src/filemanager/filegui.c     no_id = ADD_BUTTON (10);  // No
no_id             694 src/filemanager/filegui.c     group_select_widget_by_id (g, safe_overwrite ? no_id : yes_id);