delete_file       315 src/editor/edit.c         edit->delete_file = 1;
delete_file       350 src/editor/edit.c         edit->delete_file = 0;
delete_file       625 src/editor/edit.c     if (!edit->modified && !edit->delete_file)
delete_file      2196 src/editor/edit.c     if (edit->delete_file)
delete_file       486 src/editor/editcmd.c     if (!edit->locked && !edit->delete_file)
delete_file       500 src/editor/editcmd.c         edit->delete_file = 0;
delete_file      1734 src/editor/editcmd.c                 if (!edit->locked && !edit->delete_file)
delete_file      1769 src/editor/editcmd.c                 edit->delete_file = 0;
delete_file       111 src/editor/editwidget.h     unsigned int delete_file:1; /* New file, needs to be deleted unless modified */