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