edit_push_redo_action 175 src/editor/edit-impl.h void edit_push_redo_action (WEdit * edit, long c); edit_push_redo_action 2400 src/editor/edit.c edit_push_redo_action (edit, KEY_PRESS); edit_push_redo_action 2401 src/editor/edit.c edit_push_redo_action (edit, c);