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