delete_file       315 src/editor/edit.c         edit->delete_file = 1;
delete_file       348 src/editor/edit.c         edit->delete_file = 0;
delete_file       629 src/editor/edit.c     if (edit->modified == 0 && edit->delete_file == 0)
delete_file      2212 src/editor/edit.c     if (edit->delete_file != 0)
delete_file       429 src/editor/editcmd.c     if (edit->locked == 0 && edit->delete_file == 0)
delete_file       444 src/editor/editcmd.c         edit->delete_file = 0;
delete_file       995 src/editor/editcmd.c         else if (edit->locked == 0 && edit->delete_file == 0)
delete_file      1023 src/editor/editcmd.c             edit->delete_file = 0;
delete_file        99 src/editor/editwidget.h     unsigned int delete_file : 1;   // New file, needs to be deleted unless modified