edit_options_dialog  276 src/editor/edit-impl.h void edit_options_dialog (WDialog * h);
edit_options_dialog  466 src/editor/editwidget.c         edit_options_dialog (h);