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