edit_ok_to_exit   179 src/editor/edit-impl.h gboolean edit_ok_to_exit (WEdit * edit);
edit_ok_to_exit  1255 src/editor/editcmd.c     ret = (edit != NULL) && edit_ok_to_exit (edit);
edit_ok_to_exit   658 src/editor/editwidget.c         if (!edit_ok_to_exit (e))