edit_show_margin_cmd  203 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);