edit_push_redo_action  169 src/editor/edit-impl.h void edit_push_redo_action (WEdit * edit, long c);
edit_push_redo_action 2414 src/editor/edit.c         edit_push_redo_action (edit, KEY_PRESS);
edit_push_redo_action 2415 src/editor/edit.c         edit_push_redo_action (edit, c);