option_group_undo   96 src/editor/edit.c gboolean option_group_undo = FALSE;
option_group_undo 1322 src/editor/edit.c         if (!option_group_undo)
option_group_undo   49 src/editor/edit.h extern gboolean option_group_undo;
option_group_undo  177 src/editor/editoptions.c                     QUICK_CHECKBOX (N_("&Group undo"), &option_group_undo, NULL),
option_group_undo  350 src/setup.c        { "editor_group_undo", &option_group_undo },