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