edit_show_numbers_cmd  186 src/editor/edit-impl.h void edit_show_numbers_cmd (WDialog *h);
edit_show_numbers_cmd  459 src/editor/editwidget.c         edit_show_numbers_cmd (h);