edit_push_key_press  177 src/editor/edit-impl.h void edit_push_key_press (WEdit * edit);
edit_push_key_press 3233 src/editor/edit.c         edit_push_key_press (edit);
edit_push_key_press 2659 src/editor/editcmd.c                 edit_push_key_press (edit);
edit_push_key_press  698 src/editor/editwidget.c         edit_push_key_press (edit);