edit_show_margin_cmd  185 src/editor/edit-impl.h void edit_show_margin_cmd (WDialog *h);
edit_show_margin_cmd  456 src/editor/editwidget.c         edit_show_margin_cmd (h);