delete_file       332 src/editor/edit.c         edit->delete_file = 1;
delete_file       367 src/editor/edit.c         edit->delete_file = 0;
delete_file       648 src/editor/edit.c     if (edit->modified == 0 && edit->delete_file == 0)
delete_file      2242 src/editor/edit.c     if (edit->delete_file)
delete_file       439 src/editor/editcmd.c     if (!edit->locked && !edit->delete_file)
delete_file       453 src/editor/editcmd.c         edit->delete_file = 0;
delete_file       961 src/editor/editcmd.c         else if (!edit->locked && !edit->delete_file)
delete_file       989 src/editor/editcmd.c             edit->delete_file = 0;
delete_file       112 src/editor/editwidget.h     unsigned int delete_file:1; /* New file, needs to be deleted unless modified */