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