edit_ok_to_quit   161 src/editor/edit-impl.h gboolean edit_ok_to_quit (WEdit *edit);
edit_ok_to_quit  1292 src/editor/editcmd.c     ret = (edit != NULL) && edit_ok_to_quit (edit);
edit_ok_to_quit   651 src/editor/editwidget.c         if (!edit_ok_to_quit (e))